Jörg Prante ce3eb16efa move config and settings to datastructures, deprecate this project		2023-10-04 11:27:45 +02:00
..
java.gradle	move config and settings to datastructures, deprecate this project	2023-10-04 11:27:45 +02:00