From a78d735f3e20b94a8e8886ccb2f23f7721bba315 Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Mon, 23 Dec 2013 15:46:38 +0100
Subject: [PATCH] custom.properties.default - another example of a usefull
 property

---
 custom.properties.default | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/custom.properties.default b/custom.properties.default
index 30488f0..9d8a6a1 100644
--- a/custom.properties.default
+++ b/custom.properties.default
@@ -3,3 +3,6 @@
 
 # set this to wherever your FermaT is installed
 fermat.dir=/some/path/fermat3
+
+# use this for passing options to mjc2wsl
+mjc2wsl.options="-o -q"
-- 
2.17.1