Janis Hutz c4c0266fd8 Improve build

2026-02-19 18:07:27 +01:00

..

build.py

Improve build

2026-02-19 18:07:27 +01:00

labels.py

Store to move back to normal tex files

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