From afcf41bf7aa5a1a4321c6bf13bba60c2950885ee Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Mon, 16 Dec 2013 20:01:08 +0100
Subject: [PATCH] added 'custom.properties.default' as a template for
 'custom.properties' if needed

---
 custom.properties.default | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 custom.properties.default

diff --git a/custom.properties.default b/custom.properties.default
new file mode 100644
index 0000000..30488f0
--- /dev/null
+++ b/custom.properties.default
@@ -0,0 +1,5 @@
+# if you rename this file (or make a copy) to "custom.properties"
+# it will override the default properties
+
+# set this to wherever your FermaT is installed
+fermat.dir=/some/path/fermat3
-- 
2.25.1