mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 03:52:35 +01:00
80241b44a8
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 |
||
---|---|---|
.. | ||
etc | ||
triggers | ||
post-outgoing |