1
0
mirror of https://github.com/MariaDB/server.git synced 2025-06-20 21:01:21 +03:00
Commit Graph

1 Commits

Author SHA1 Message Date
5de7b78bd2 More merging assistence.
Logging behavior changed in early 5.1.  (The filename was never right, but
the "opt" file is unnecessary in 5.0 anyway.)
2006-05-02 15:07:00 -04:00