diff options
| author | Michael Davis | 2022-08-25 23:19:39 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-08-31 08:45:23 +0000 |
| commit | 73d5bd739ebb6e6831e66a28f4d9e860f769c83c (patch) | |
| tree | 4b78f75f36bf1b033bef90bf2541d874b9af5441 /runtime/queries/ocaml-interface | |
| parent | 4e4c6da3bfdea0e50e460298eedf41d835f2a551 (diff) | |
Delete invalid indents.scm queries
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions