Sun, 16 Jul 2023 13:10:50 +0200 | Mike Becker | add missing double-quotes and use lower-case local variable names - fixes #271 | changeset | files |
Sat, 15 Jul 2023 13:13:36 +0200 | Mike Becker | require Java 11 and update dependencies to recent versions | changeset | files |
Sat, 15 Jul 2023 13:12:19 +0200 | Mike Becker | add .idea folder to .hgignore | changeset | files |