New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

[INTERNAL] .editorconfig: Add more file extensions #543

Merged

matz3 merged 1 commit into main from update-editorconfig

Nov 17, 2022

Member

matz3 commented Nov 11, 2022

No description provided.


          [INTERNAL] .editorconfig: Add more file extensions

c71cbbb

matz3 requested a review from RandomByte

November 11, 2022 09:18

coveralls commented Nov 11, 2022

Coverage remained the same at 93.194% when pulling c71cbbb on update-editorconfig into 57193ab on main.

RandomByte approved these changes

View reviewed changes

matz3 merged commit 287fb73 into main

matz3 deleted the update-editorconfig branch

November 17, 2022 19:18

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