Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Set priority for INI lexer over Inform 6 #837

Merged
merged 1 commit into from
Aug 25, 2023

Conversation

gandarez
Copy link
Contributor

The file extension .inf is far more common as INI than Inform 6 since both share the same file extension.

https://en.wikipedia.org/wiki/INF_file
https://www.ifwiki.org/Inform_6

@gandarez gandarez force-pushed the bugfix/ini-priority branch from 7aff9b2 to b1f0130 Compare August 24, 2023 12:55
@gandarez gandarez force-pushed the bugfix/ini-priority branch from b1f0130 to 4ef8451 Compare August 24, 2023 12:58
@gandarez
Copy link
Contributor Author

@alecthomas will you merge it soon?

@alecthomas alecthomas merged commit be65257 into alecthomas:master Aug 25, 2023
@gandarez gandarez deleted the bugfix/ini-priority branch August 25, 2023 16:36
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants