Commit f2054dd710267f5ea67d017b706847b4efd7b7aa

Thomas de Grivel 2024-07-20T19:24:01

revert s*.kc3 to s*.facts