Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-09-17 | updated screenshots: screenshots.md now lists older screenshots as well | Robin Haberkorn | 1 | -1/+11 |
2024-09-17 | Github pages are auto-generated from the Markdown files and HTML manuals now | Robin Haberkorn | 1 | -0/+5 |