test/ikc3/facts_with.kc3
Log
| Author | Commit | Date | CI |
|---|---|---|---|
|
085a215d | 2024-10-08T01:51:37 | |
|
|
2affa1fc | 2024-10-06T17:39:47 | |
|
|
89ec99cd | 2024-10-04T22:04:51 | |
|
|
7874d74d | 2024-09-29T20:48:30 |