annotate src/name/blackcap/clipman/default.properties @ 57:c6cccbe2f393

Port to OpenJDK 15 (mostly done).
author David Barts <n5jrn@me.com>
date Wed, 23 Mar 2022 23:56:29 -0700
parents 339e2da5bf83
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
42
99220aa136d9 Add default.properties.
David Barts <n5jrn@me.com>
parents:
diff changeset
1 # This is an ISO-8859-1 file.
99220aa136d9 Add default.properties.
David Barts <n5jrn@me.com>
parents:
diff changeset
2 queue.length=10