mirror of
https://github.com/MariaDB/server.git
synced 2025-08-31 22:22:30 +03:00
Updated links to version 5.1 of the manual Docs/INSTALL-BINARY: Updated links to version 5.1 of the manual INSTALL-SOURCE: Updated links to version 5.1 of the manual INSTALL-WIN-SOURCE: Updated links to version 5.1 of the manual support-files/MacOSX/ReadMe.txt: Updated links to version 5.1 of the manual