From b9deb2a0a5e92fd9b1abb1d1ba848394d410944a Mon Sep 17 00:00:00 2001 From: pajlada Date: Tue, 30 Dec 2025 19:20:12 +0100 Subject: [PATCH] chore: remove scripts/windows-fix-directory-case-sensitivity.sh (#6700) --- scripts/windows-fix-directory-case-sensitivity.sh | 1 - 1 file changed, 1 deletion(-) delete mode 100755 scripts/windows-fix-directory-case-sensitivity.sh diff --git a/scripts/windows-fix-directory-case-sensitivity.sh b/scripts/windows-fix-directory-case-sensitivity.sh deleted file mode 100755 index c68aa96e..00000000 --- a/scripts/windows-fix-directory-case-sensitivity.sh +++ /dev/null @@ -1 +0,0 @@ -find . -not -path "*.git*" -exec fsutil.exe file setCaseSensitiveInfo {} disable \;