diff options
| -rw-r--r-- | editors/kate/bruijn.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/editors/kate/bruijn.xml b/editors/kate/bruijn.xml index 0d75923..eb975a3 100644 --- a/editors/kate/bruijn.xml +++ b/editors/kate/bruijn.xml @@ -1,9 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <language kateversion="5.0" name="bruijn" section="Sources" extensions="*.bruijn"> <highlighting> - <list name="commands"> - <item>import</item> - </list> <contexts> <context attribute="Text" lineEndContext="#pop" name="text" > <RegExpr attribute="Command" String="^:" context="command" beginRegion="Command" /> |