diff options
| author | Blaž Hrastnik | 2022-07-01 12:24:10 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-07-01 12:24:10 +0000 |
| commit | a1c1abca2b2bbe82e76bbc2c0a8bc522aacbe0f1 (patch) | |
| tree | d5ff86d72907b97170250361b933852828321869 /runtime/queries/ocaml-interface | |
| parent | 8a19196ad55cd8461b0a621ecfe373b0b3407ec5 (diff) | |
fix CI
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions