mirror of
https://github.com/MariaDB/server.git
synced 2025-08-29 00:08:14 +03:00
Detailed revision comments: r6533 | calvin | 2010-01-29 23:31:59 +0200 (Fri, 29 Jan 2010) | 4 lines branches/zip: remove duplicated copyright and license info.