From ad0762d1288f78bb3201a37814c95821e1a7957a Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 17 Jun 2023 23:39:41 +0200
Subject: Removed redundant line

---
 editors/kate/bruijn.xml | 3 ---
 1 file changed, 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" />
-- 
cgit v1.2.3