diff options
| author | Dmitry Sharshakov | 2021-09-26 18:54:36 +0000 |
|---|---|---|
| committer | Dmitry Sharshakov | 2021-09-26 18:54:36 +0000 |
| commit | 814dcfa8d234e5031313b050b851641da8e6359b (patch) | |
| tree | 37c4e1edb4693f113877a0c6cd5c1954594b1bbe /runtime/queries/ocaml-interface | |
| parent | d943a51e3e8e2cd77cc336c30eb954378e81fe31 (diff) | |
fix lints
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions