descriptionUnnamed repository; edit this file 'description' to name the repository.
last changeWed, 12 Nov 2025 07:30:04 +0000 (08:30 +0100)
shortlog
2025-11-12 Lukáš JiřištěUpgrade HTTP link to HTTPS trunk
2023-10-21 Lukáš JiřištěCreate a basic web site
heads
3 weeks ago trunk