From a78d735f3e20b94a8e8886ccb2f23f7721bba315 Mon Sep 17 00:00:00 2001 From: Doni Pracner 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.25.1