graph
The revision graph only works with JavaScript-enabled browsers.
-
removes (now) unnecessary possibility to customize the main menuFri, 23 Oct 2020 12:38:20 +0200, by Mike Becker
-
highlight passed ETA - fixes #23Fri, 23 Oct 2020 12:26:08 +0200, by Mike Becker
