| Fri, 06 Mar 2020 20:33:16 +0100 | wenzelm | formally depend on Java 11 --- discontinue Java 8 workaround; | file | diff | annotate |
| Wed, 06 Jun 2018 14:18:25 +0200 | wenzelm | updated for release; | file | diff | annotate |
| Mon, 21 Aug 2017 17:19:20 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 21 Aug 2017 11:36:34 +0200 | wenzelm | added missing file (cf. 9098c36abd1a); | file | diff | annotate |