Skip to content

Small fixes before autumn 2025 semester#34

Merged
DamienGilliard merged 3 commits intomainfrom
fix/ease_of_life_fixes_autumn2025
Aug 15, 2025
Merged

Small fixes before autumn 2025 semester#34
DamienGilliard merged 3 commits intomainfrom
fix/ease_of_life_fixes_autumn2025