fix: Avoid files that differ just by case #12
glen
commented 2022-07-22 16:47:01 +00:00
Owner
No description provided.
glen
added 1 commit 2022-07-22 16:47:02 +00:00
fix: Avoid files that differ just by case
664f30ddef
glen
merged commit ed71b15969 into main 2022-07-22 16:47:10 +00:00
glen
referenced this issue from a commit 2022-07-22 16:47:10 +00:00
Merge pull request 'fix: Avoid files that differ just by case' (#12) from no_case_duplicates into main
glen
deleted branch no_case_duplicates 2022-07-22 16:47:17 +00:00
glen
referenced this pull request 2022-07-22 16:53:10 +00:00
Avoid files that differ only in casing of name #11
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "no_case_duplicates"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?