2 commits

Author	SHA1	Message	Date
Jean-Marie Mineau	d369cfb187	try to avoid patological todo cases	2025-07-07 10:33:05 +02:00
Jean-Marie Mineau	660946119a	bg+rl will be merged	2025-07-04 14:24:24 +02:00

Renamed from 6_theseus/main.typ (Browse further)