Jörg Prante abe8e4adf8 remove property settings loader by default		2022-01-05 16:58:43 +01:00
..
src	remove property settings loader by default	2022-01-05 16:58:43 +01:00
build.gradle	refactoring into the settings subprojects, each content/datastructure	2021-10-13 17:32:29 +02:00