Reinhard Pointner 212de30481 jvm.version: 9		2017-10-06 00:15:14 +02:00
..
ant.properties	jvm.version: 9	2017-10-06 00:15:14 +02:00
digest.head.md	Use redirects for external resources	2017-06-08 03:08:46 +08:00
digest.tail.md	# GPG signatures	2017-04-24 22:55:17 +08:00