log src/name/blackcap/clipman/default.properties @ 54:a9d5c94a177c

age author description
2020-02-10 David Barts Simplified the settings. Compiles, not tested.
2020-02-09 David Barts Add default.properties.