| Sun, 27 Feb 2022 18:58:50 +0100 | wenzelm | misc tuning based on comments by Heiko Eißfeldt; | changeset | files |
| Sat, 26 Feb 2022 22:00:22 +0100 | wenzelm | removed junk; | changeset | files |
| Sat, 26 Feb 2022 21:59:12 +0100 | wenzelm | some updates to README.md; | changeset | files |