3 Commits

Include renames

Author	SHA1	Message	Date
Matthias Jung	f375c22cd1	feature: add generated svgs	2026-01-31 18:46:04 +01:00
Matthias Jung	ba9f026a2e	feature: add alt-texts for drawings	2026-01-31 18:45:40 +01:00
Matthias Jung	9baada3a50	feature: add latex sources of drawings	2026-01-31 18:45:15 +01:00