test/ikc3/bool.kc3


Log

Author Commit Date CI Message
Thomas de Grivel 6b12c5a8 2024-10-15T13:53:51 test
Thomas de Grivel 9ef64e73 2024-07-19T19:26:17 rename test/ikc3/*.in into *.kc3