mirror of
https://github.com/alecthomas/chroma.git
synced 2025-04-17 11:56:39 +02:00
Set priority for INI lexer over Inform 6 (#837)
This commit is contained in:
parent
b5487f4e33
commit
be65257e7e
@ -15,6 +15,7 @@
|
||||
<filename>.pylintrc</filename>
|
||||
<mime_type>text/x-ini</mime_type>
|
||||
<mime_type>text/inf</mime_type>
|
||||
<priority>0.1</priority> <!-- higher priority than Inform 6 -->
|
||||
</config>
|
||||
<rules>
|
||||
<state name="root">
|
||||
|
Loading…
x
Reference in New Issue
Block a user