mirror of
https://github.com/MariaDB/server.git
synced 2026-01-06 05:22:24 +03:00
BitKeeper/triggers/pre-commit.check-case.pl: catch duplicate file names, ignoring capitalisation, mostly to avoid changesets where a deleted file foobar and a deleted file FooBar break a tree on case insensitive file systems