| Tue, 09 Jul 2024 16:06:32 +0200 | Fabian Huch | tuned display; | changeset | files |
| Tue, 09 Jul 2024 16:00:25 +0200 | Fabian Huch | NEWS and CONTRIBUTORS; | changeset | files |
| Tue, 09 Jul 2024 15:06:24 +0200 | Fabian Huch | tuned HTML display of ANSI colors for better readability; | changeset | files |
| Tue, 09 Jul 2024 14:13:59 +0200 | Fabian Huch | render hg diff and log (on separate page); | changeset | files |