Jörg Prante 6811c4a8e0 update to Gradle 8.4		2023-10-19 18:23:11 +02:00
..
gradle-wrapper.jar	move config and settings to datastructures, deprecate this project	2023-10-04 11:27:45 +02:00
gradle-wrapper.properties	update to Gradle 8.4	2023-10-19 18:23:11 +02:00