Jörg Prante 0e37917c47 add settings refresher		2020-04-22 16:12:25 +02:00
..
gradle-wrapper.jar	update to OpenJDK 11, xbib net 2.0.0	2019-08-08 15:31:56 +02:00
gradle-wrapper.properties	add settings refresher	2020-04-22 16:12:25 +02:00