log src/name/blackcap/clipman/Menus.kt @ 62:c56a0747c256 default tip

age author description
Thu, 28 Apr 2022 20:53:39 -0700 David Barts Add make plain feature. default tip
Wed, 23 Mar 2022 23:56:29 -0700 David Barts Port to OpenJDK 15 (mostly done).