diff options
Diffstat (limited to 'kate/data/ocaml.xml')
-rw-r--r-- | kate/data/ocaml.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kate/data/ocaml.xml b/kate/data/ocaml.xml index 364cbdd9d..15a876f37 100644 --- a/kate/data/ocaml.xml +++ b/kate/data/ocaml.xml @@ -17,7 +17,7 @@ extensions="*.ml;*.mli" mimetype="" section="Sources" - version="2.01" + version="3" priority="10" kateversion="2.4" author="Glyn Webster ([email protected]) and Vincent Hugot ([email protected])" |