test/ikc3/facts_with.kc3
Log
| Author | Commit | Date | CI |
|---|---|---|---|
|
89ec99cd | 2024-10-04T22:04:51 | |
|
|
7874d74d | 2024-09-29T20:48:30 |
| Author | Commit | Date | CI |
|---|---|---|---|
|
|
89ec99cd | 2024-10-04T22:04:51 | |
|
|
7874d74d | 2024-09-29T20:48:30 |