diff --git a/config/settings.properties b/config/settings.properties new file mode 100644 index 0000000..a24c219 --- /dev/null +++ b/config/settings.properties @@ -0,0 +1,5 @@ +#Mon Dec 17 17:00:38 CET 2018 +barcode_reader_scan_pucks=false +imaging_enabled=false +led_level=0.0 +puck_types=true diff --git a/config/setup.properties b/config/setup.properties index 58443d5..b0b857a 100644 --- a/config/setup.properties +++ b/config/setup.properties @@ -1,7 +1,8 @@ -#Wed Sep 14 15:16:45 CEST 2016 +#Mon Dec 17 17:00:32 CET 2018 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