1 commit

Author	SHA1	Message	Date
Garmelon	ef87f6b9ac	chore: delete temp files before, not after tests (#12932)	2026-03-16 19:02:28 +00:00

Renamed from tests/elab/IO_test.lean.after.sh (Browse further)