graph
The revision graph only works with JavaScript-enabled browsers.
-
fix missing chmod - close #278Tue, 25 Jul 2023 17:37:51 +0200, by Mike Becker
-
add error handling to install.shTue, 25 Jul 2023 17:18:53 +0200, by Mike Becker
-
fix default prefix in help text not being the default but the actual prefixSun, 16 Jul 2023 13:29:41 +0200, by Mike Becker
-
fix output not using PREFIX variable - fixes #270Sun, 16 Jul 2023 13:28:25 +0200, by Mike Becker
-
add missing double-quotes and use lower-case local variable names - fixes #271Sun, 16 Jul 2023 13:10:50 +0200, by Mike Becker
-
require Java 11 and update dependencies to recent versionsSat, 15 Jul 2023 13:13:36 +0200, by Mike Becker
