graph
The revision graph only works with JavaScript-enabled browsers.
-
add new ui.c where several UI functions are now moved toMon, 16 Jun 2025 20:24:47 +0200, by Mike Becker
-
add auto-scaling of UI depending on screen resolution - resolves #682Sun, 15 Jun 2025 21:02:29 +0200, by Mike Becker
