mirror of
https://github.com/MariaDB/server.git
synced 2025-05-04 06:05:05 +03:00
existed, causing problems on non-case-sensitive OSes. Deleted conflicting file. BitKeeper/deleted/.del-MYSQL.ICO~d93519b5f0d6ee1: Delete: VC++Files/mysqlshutdown/MYSQL.ICO