Skip to content
GitLab
Explore
Sign in
Admin message
2026-01-21
: Due to updates GitLab may be unavailable for some minutes between 13:00 and 16:00.
Tags
Tags give the ability to mark specific points in history as being important
v1.2.0
4d793449
·
bump version
·
Jan 08, 2026
v1.0.0
a8e25d4e
·
improve error handling
·
Dec 10, 2025
v1.1.0
a8e25d4e
·
improve error handling
·
Dec 10, 2025
v0.5.0
b5be2d5f
·
web: add reload-warning
·
Dec 10, 2025
v0.4.0
45912ad7
·
bump version
·
Dec 09, 2025
v0.3.0
7da67787
·
synchronise versions
·
Apr 28, 2025
v0.2.1
2fc460d7
·
update instruction link
·
Apr 26, 2025
v0.2.0
aa09245b
·
cli: tikz mode
·
Apr 02, 2025