graph
The revision graph only works with JavaScript-enabled browsers.
-
fixes exception if integer parameter does not type checkSat, 29 Aug 2020 17:28:24 +0200, by Mike Becker
-
simplifies issues per version view and re-adds edit version buttonSat, 29 Aug 2020 17:13:09 +0200, by Mike Becker
-
fixes issue not containing version information in issue formSat, 29 Aug 2020 16:48:15 +0200, by Mike Becker
