Merged
Set priority for INI lexer over Inform 6#837alecthomas merged 1 commit intoalecthomas:masterfrom gandarez:bugfix/ini-priority
alecthomas merged 1 commit intoalecthomas:masterfrom gandarez:bugfix/ini-priority
Set priority for INI lexer over Inform 6#837
Merged
alecthomas merged 1 commit intoalecthomas:masterfrom gandarez:bugfix/ini-priorityAug 25, 2023
+1
Commits cannot be loaded
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.