log

age author description
Mon, 04 May 2020 11:06:44 -0700 David Barts Rename so it doesn't look like an M$ word file.
Mon, 04 May 2020 11:06:14 -0700 David Barts Doc tweaks.
Sun, 03 May 2020 17:36:50 -0700 David Barts Work around a launch4j bug.
Sun, 03 May 2020 16:15:10 -0700 David Barts Update Building instructions; minor build system bug fixes.