Tue, 25 Jul 2023 17:18:53 +0200 | Mike Becker | add error handling to install.sh | changeset | files |
Sun, 16 Jul 2023 13:29:41 +0200 | Mike Becker | fix default prefix in help text not being the default but the actual prefix | changeset | files |
Sun, 16 Jul 2023 13:28:25 +0200 | Mike Becker | fix output not using PREFIX variable - fixes #270 | changeset | files |
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 |
Sun, 16 Apr 2023 14:17:08 +0200 | Olaf Wintermann | merge | changeset | files |
Sun, 16 Apr 2023 14:16:31 +0200 | Olaf Wintermann | fix configure should always delete the tmp dir | changeset | files |