Janis Hutz 36ced5e37a Some fixes

2026-02-19 17:21:10 +01:00

..

build.py

Some fixes

2026-02-19 17:21:10 +01:00

labels.py

Store to move back to normal tex files

2026-02-19 16:52:35 +01:00