diff options
Diffstat (limited to 'kate/data/ocamllex.xml')
| -rw-r--r-- | kate/data/ocamllex.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kate/data/ocamllex.xml b/kate/data/ocamllex.xml index f3c32e70a..ba078e829 100644 --- a/kate/data/ocamllex.xml +++ b/kate/data/ocamllex.xml @@ -11,7 +11,7 @@ section="Sources" extensions="*.mll" mimetype="" - version="2.02" + version="3" kateversion="2.4" priority="10" author="Glyn Webster ([email protected]) and Vincent Hugot ([email protected])" |