rhi
/
blog
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

pick the kateversion from a file in the repo

This commit is contained in:
rhiannon morris 2022-03-15 04:44:09 +01:00
parent bffa11780e
commit 256706b285
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
syntax/maude.xml
View File

@ -2,7 +2,7 @@
<!DOCTYPE language SYSTEM "language.dtd">
<language name="Maude" section="Sources" extensions="*.maude"
version="1" kateversion="2.4">
version="1" kateversion="5.53">
<highlighting>
<list name="modules">
<item>mod</item> <item>endm</item> <item>is</item>