test/ikc3/integer.kc3

Branch


Log

Author Commit Date CI Message
Thomas de Grivel 9ef64e73 2024-07-19T19:26:17 rename test/ikc3/*.in into *.kc3