| Sun, 17 Sep 2023 19:12:57 +0100 | Christian Urban | updated | file | diff | annotate |
| Sun, 10 Sep 2023 12:24:55 +0100 | Christian Urban | updated | file | diff | annotate |
| Mon, 10 Jul 2023 18:48:05 +0100 | Christian Urban | texupdate | file | diff | annotate |
| Wed, 21 Dec 2022 14:33:05 +0000 | Christian Urban | updated | file | diff | annotate |
| Mon, 10 Oct 2022 15:07:31 +0100 | Christian Urban | texupdated | file | diff | annotate |
| Sun, 09 Oct 2022 21:39:08 +0100 | Christian Urban | updated | file | diff | annotate |
| Thu, 29 Sep 2022 20:54:02 +0100 | Christian Urban | updated | file | diff | annotate |
| Fri, 16 Sep 2022 12:52:21 +0100 | Christian Urban | updated | file | diff | annotate |
| Mon, 29 Aug 2022 01:16:32 +0200 | Christian Urban | updated | file | diff | annotate |
| Tue, 22 Mar 2022 00:36:18 +0000 | Christian Urban | updated | file | diff | annotate |
| Thu, 20 Jan 2022 08:58:38 +0000 | Christian Urban | updated to Doubles trhoughout | file | diff | annotate |
| Thu, 30 Dec 2021 19:37:34 +0100 | Christian Urban | updated | file | diff | annotate |
| Sat, 04 Dec 2021 00:13:20 +0000 | Christian Urban | updated | file | diff | annotate |
| Fri, 03 Dec 2021 22:07:11 +0000 | Christian Urban | updated | file | diff | annotate |
| Fri, 03 Dec 2021 18:10:33 +0000 | Christian Urban | updated | file | diff | annotate |
| Fri, 03 Dec 2021 17:45:11 +0000 | Christian Urban | updated | file | diff | annotate |
| Sun, 05 Sep 2021 23:51:37 +0100 | Christian Urban | updated | file | diff | annotate |
| Sat, 04 Sep 2021 13:29:36 +0100 | Christian Urban | texupdate | file | diff | annotate |
| Sat, 19 Dec 2020 00:21:13 +0000 | Christian Urban | updated | file | diff | annotate |
| Sat, 19 Dec 2020 00:13:58 +0000 | Christian Urban | updated | file | diff | annotate |
| Tue, 29 Sep 2020 12:52:07 +0100 | Christian Urban | updated | file | diff | annotate |
| Tue, 01 Sep 2020 16:00:37 +0100 | Christian Urban | updated | file | diff | annotate | base |