hide some config options
authorNiki Roo <niki@nikiroo.be>
Sat, 25 Apr 2020 13:06:07 +0000 (15:06 +0200)
committerNiki Roo <niki@nikiroo.be>
Sat, 25 Apr 2020 13:06:07 +0000 (15:06 +0200)
commit5788cc5b5040784e7505fc52f7d79baf99075869
tree02b6dfc9d16841ce5a9a595592df1ba9655805d4
parenta351d69d95da8563d49e6a4080035fcd69ee1c48
hide some config options
bundles/Config.java
bundles/UiConfig.java
bundles/ui_description.properties