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

tidy-up: use consistent casing for Windows directories #13832

wants to merge 1 commit into from


Copy link

@vszakats vszakats commented May 30, 2024


Closes #13832

@vszakats vszakats added Windows Windows-specific tidy-up labels May 30, 2024
@github-actions github-actions bot added cmdline tool CI Continuous Integration labels May 30, 2024
@vszakats vszakats closed this in dace891 May 30, 2024
@vszakats vszakats deleted the windir-tidy branch May 30, 2024 12:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
CI Continuous Integration cmdline tool tidy-up Windows Windows-specific

Successfully merging this pull request may close these issues.

None yet

1 participant