Tue, 25 Jul 2023 17:43:43 +0200 | Mike Becker | set minimum Java version to 17 | file | diff | annotate |
Sat, 15 Jul 2023 13:13:36 +0200 | Mike Becker | require Java 11 and update dependencies to recent versions | file | diff | annotate |
Mon, 04 Feb 2019 15:09:39 +0100 | Olaf Wintermann | add existing source | file | diff | annotate |