Set priority for INI lexer over Inform6

alecthomas · Aug 24, 2023 · 7aff9b2 · 7aff9b2
1 parent 5b26de0
commit 7aff9b2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lexers/embedded/ini.xml b/lexers/embedded/ini.xml
@@ -15,6 +15,7 @@
     <filename>.pylintrc</filename>
     <mime_type>text/x-ini</mime_type>
     <mime_type>text/inf</mime_type>
+    <priority>0.1</priority>
   </config>
   <rules>
     <state name="root">