Reinhard Pointner 99cf69ddba Use 1.8.0_141-b15 to workaround FileChooser bug ... @see https://bugs.openjdk.java.net/browse/JDK-8179014		2017-07-19 19:55:49 +08:00
..
ant.properties	Use 1.8.0_141-b15 to workaround FileChooser bug	2017-07-19 19:55:49 +08: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