Skip to content
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.

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

Lint editorconfig #31

Closed
wants to merge 1 commit into from
Closed

Lint editorconfig #31

wants to merge 1 commit into from

Conversation

Akemi
Copy link
Owner

@Akemi Akemi commented Oct 20, 2024

Read this before you submit this pull request:
https://github.com/mpv-player/mpv/blob/master/DOCS/contribute.md

Reading this link and following the rules will get your pull request reviewed
and merged faster. Nobody wants lazy pull requests.

@Akemi Akemi force-pushed the lint_editorconfig branch 4 times, most recently from a7da3ec to 29439ee Compare October 20, 2024 12:21
@Akemi Akemi force-pushed the lint_editorconfig branch from 29439ee to 0edc7b6 Compare October 20, 2024 13:33
@Akemi Akemi closed this Oct 20, 2024
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.

1 participant