diff --git a/config/settings.properties b/config/settings.properties new file mode 100644 index 0000000..9b4d613 --- /dev/null +++ b/config/settings.properties @@ -0,0 +1,2 @@ +#Thu Jan 24 09:22:58 CET 2019 +geometry= diff --git a/config/setup.properties b/config/setup.properties index 9193713..b62638a 100644 --- a/config/setup.properties +++ b/config/setup.properties @@ -1,7 +1,8 @@ -#Fri Dec 15 14:54:59 CET 2017 +#Thu Jan 24 09:22:45 CET 2019 configFile={config}/config.properties configFileDevices={config}/devices.properties configFilePlugins={config}/plugins.properties +configFileSettings={config}/settings.properties configFileTasks={config}/tasks.properties configPath={home}/config contextPath={outp}/context