Commit 9168f718efd6842abe20e1f98ab12a805a8d6a02

Thomas de Grivel 2024-06-25T09:26:11

lib: turn .facts files into .c3 files