diff options
| author | Roman Chumak | 2022-08-29 14:00:43 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-29 14:00:43 +0000 |
| commit | ab67788e76c1d2dfd06d571b212dd138b2d29bad (patch) | |
| tree | 7e5afaca62875934a7fbe9781108ee6027d87681 /runtime/queries/ocaml-interface/highlights.scm | |
| parent | 411c5e48713d055be9e2031e66bf954c819bea43 (diff) | |
Sonokai (#3595)
Co-authored-by: Roman Chumak <p4ymak@yandex.ru>
Diffstat (limited to 'runtime/queries/ocaml-interface/highlights.scm')
0 files changed, 0 insertions, 0 deletions