graph
The revision graph only works with JavaScript-enabled browsers.
-
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
-
add .idea folder to .hgignoreSat, 15 Jul 2023 13:12:19 +0200, by Mike Becker
-
mergeSun, 16 Apr 2023 14:17:08 +0200, by Olaf Wintermann
-
fix configure should always delete the tmp dirSun, 16 Apr 2023 14:16:31 +0200, by Olaf Wintermann
