Skip to content

Work on all INI files, ignoring the extension #9

Open
brechtm wants to merge 2 commits intodaviduuang:masterfrom
brechtm:patch-1
Open

Work on all INI files, ignoring the extension #9
brechtm wants to merge 2 commits intodaviduuang:masterfrom
brechtm:patch-1

Conversation

@brechtm
Copy link

@brechtm brechtm commented Sep 11, 2020

No description provided.

Other file types can be interpreted as INI files. Fixed daviduuang#5.
@brechtm
Copy link
Author

brechtm commented Sep 11, 2020

Sorry, I wasn't aware about #1.
Can you merge either of these PRs, please?

@rbolsius
Copy link

rbolsius commented Jul 6, 2022

It would be very appreciated if either PR #1 or #2 could be merged. It will help those of us who use VS Code on hosts with case-sensitive file systems or who open INI files that don't end with one of the default file extensions.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants