log

age author description
Tue, 23 Feb 2021 20:59:46 -0800 David Barts Choose a color theme.
Tue, 23 Feb 2021 18:36:19 -0800 David Barts Fix output file names.
Tue, 23 Feb 2021 15:20:15 -0800 David Barts Optimize for quality by default, now that it runs faster.
Tue, 23 Feb 2021 14:33:41 -0800 David Barts Gear instead of wrench for setting.