log build.xml @ 42:99220aa136d9

age author description
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.