summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPieter Goetschalckx <pieter@gtschlckx.be>2020-09-05 01:28:42 +0200
committerThomas Vigouroux <tomvig38@gmail.com>2020-09-05 10:02:42 +0200
commit9ef264a7330679533459b721fb5b354e8d372ce4 (patch)
tree6ce56dae1cf9e8615c098934e297ad040b3a7d76
parentfa5aa080dc75a78611c6ae96db8c05a421bd54d0 (diff)
Fix filename
-rw-r--r--queries/ocaml/highlights.scm (renamed from queries/ocaml/hightlights.scm)0
1 files changed, 0 insertions, 0 deletions
diff --git a/queries/ocaml/hightlights.scm b/queries/ocaml/highlights.scm
index 7c4ba08d..7c4ba08d 100644
--- a/queries/ocaml/hightlights.scm
+++ b/queries/ocaml/highlights.scm