Arne 9cb5c7f810 update gradle (Daniel Gultsch)		2022-11-03 21:04:36 +01:00
..
gradle-wrapper.jar	improved texts (thanks IM), shorten launcher name	2021-08-05 22:03:05 +02:00
gradle-wrapper.properties	update gradle (Daniel Gultsch)	2022-11-03 21:04:36 +01:00