diff options
| author | Blaž Hrastnik | 2021-11-07 12:37:00 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-11-07 12:37:00 +0000 |
| commit | 9963a5614d09bb0677464ad4cecc41d94cf2d7c4 (patch) | |
| tree | 861f97c95a3c2a75cc2f63839b3e812b85828139 /runtime/queries/ocaml | |
| parent | 65868081fcc54aa4ce2ede3b95bb9800534f41f8 (diff) | |
dap: Minor simplifications
Diffstat (limited to 'runtime/queries/ocaml')
0 files changed, 0 insertions, 0 deletions