eclipse b33d3aecbb termine.md now gets default data; also lots of bugfixes around dates and times		2025-02-17 10:04:01 +01:00
..
favicon-from-svg.sh	added favicon	2025-02-14 12:01:46 +01:00
refresh-events.py	termine.md now gets default data; also lots of bugfixes around dates and times	2025-02-17 10:04:01 +01:00