log build.xml @ 50:3f8409470fdf

age author description
Sun, 12 Apr 2020 14:31:06 -0700 David Barts Recoded; cleaned up root namespace, removed race conditions.
Sat, 08 Feb 2020 23:05:39 -0700 David Barts Add default.properties.
Wed, 29 Jan 2020 10:50:07 -0800 David Barts Big reorg; compiled but untested.