diff options
| author | Marvin Borner | 2023-06-17 23:39:41 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-06-17 23:39:41 +0200 |
| commit | ad0762d1288f78bb3201a37814c95821e1a7957a (patch) | |
| tree | 1194b84b513e20b66612a0b59c5f3c16db437909 | |
| parent | 6c3d6bbcdd1fce951d2a34c00190f70f0a6345e1 (diff) | |
Removed redundant line
| -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" /> |