log

age author description
Sat, 26 Mar 2022 23:45:34 -0700 David Barts Set app name, deal with some deprecation.
Wed, 23 Mar 2022 23:56:29 -0700 David Barts Port to OpenJDK 15 (mostly done).
Sat, 19 Mar 2022 23:04:40 -0700 David Barts An attempt to get it to troff-ize styled text.
Tue, 13 Apr 2021 10:34:51 -0700 David Barts Merge... bah.