Jens Pelzetter 5232b55eae Settings dialog basic design		2020-11-02 20:50:19 +01:00
..
java	Settings dialog basic design	2020-11-02 20:50:19 +01:00
resources	Labels and descriptions for configuration settings	2020-11-01 13:00:54 +01:00