Sun, 02 Mar 2025 16:06:24 +0100 | Mike Becker | add number highlighting | file | diff | annotate |
Thu, 11 Jul 2024 20:05:21 +0200 | Mike Becker | hotfix: ampersand not escaped in html output | file | diff | annotate |
Mon, 24 Apr 2023 20:54:38 +0200 | Mike Becker | upgrade to ucx 3.0 | file | diff | annotate | base |