| Sat, 04 Feb 2023 22:57:08 +0100 | Peter Gervai | Update version to 1.00 | file | diff | annotate |
| Tue, 31 Jan 2023 00:15:54 +0100 | Peter Gervai | Final version :-) | file | diff | annotate |
| Sun, 29 Jan 2023 21:41:10 +0100 | Peter Gervai | Add repo. | file | diff | annotate |