log src/name/blackcap/clipman/Misc.kt @ 42:99220aa136d9

age author description
Sat, 08 Feb 2020 22:10:01 -0700 David Barts Got the settings stuff compiling (untested).
Thu, 30 Jan 2020 16:01:51 -0800 David Barts Compiles, new menu still a mess.
Wed, 29 Jan 2020 10:50:07 -0800 David Barts Big reorg; compiled but untested.