# HG changeset patch
# User David Barts <n5jrn@me.com>
# Date 1581228339 25200
# Node ID 99220aa136d9452966f309c0ca6cf0be94aba7e1
# Parent  33fbe3a78d84c7076f0820cdf2dd40802fcac75d
Add default.properties.

diff -r 33fbe3a78d84 -r 99220aa136d9 build.xml
--- a/build.xml	Sat Feb 08 22:10:01 2020 -0700
+++ b/build.xml	Sat Feb 08 23:05:39 2020 -0700
@@ -96,6 +96,7 @@
       </manifest>
       <zipgroupfileset dir="${lib.home}" includes="*.jar"/>
       <zipfileset src="${work.jar}"/>
+      <zipfileset dir="${src.home}" includes="**/*.properties"/>
     </jar>
   </target>
 
diff -r 33fbe3a78d84 -r 99220aa136d9 src/name/blackcap/clipman/default.properties
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/name/blackcap/clipman/default.properties	Sat Feb 08 23:05:39 2020 -0700
@@ -0,0 +1,6 @@
+# This is an ISO-8859-1 file.
+mono.family=Monospaced
+mono.size=14.0
+prop.family=Serif
+prop.size=16.0
+queue.length=10