1
0
mirror of https://github.com/MariaDB/server.git synced 2025-05-13 01:01:44 +03:00
paul@teton.kitebird.com da97e073d4 Identical mysql.ico and MYSQL.ICO
existed, causing problems on non-case-sensitive OSes.
Deleted conflicting file.
2003-10-14 10:45:03 -05:00
..