diff options
| author | Blaž Hrastnik | 2021-09-03 02:03:34 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-09-03 02:03:34 +0000 |
| commit | 4c410eef8720db0c92f39a050c4c5658636013fa (patch) | |
| tree | ff0bc8dc19ac321675736a7e18ef8ca7aa95d414 /runtime/queries/ocaml-interface | |
| parent | 9c64650a26cf03207f93c9eeddbafb12edccbf6e (diff) | |
| parent | 7e1123680f474bff5113db189f63ca7f948781a5 (diff) | |
Merge remote-tracking branch 'origin/master' into debug
Diffstat (limited to 'runtime/queries/ocaml-interface')
| -rw-r--r-- | runtime/queries/ocaml-interface/highlights.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/queries/ocaml-interface/highlights.scm b/runtime/queries/ocaml-interface/highlights.scm new file mode 100644 index 00000000..6d3dfbcf --- /dev/null +++ b/runtime/queries/ocaml-interface/highlights.scm @@ -0,0 +1 @@ +; inherits: ocaml |