1
0
mirror of https://github.com/MariaDB/server.git synced 2025-11-22 17:44:29 +03:00
Commit Graph

2 Commits

Author SHA1 Message Date
Marko Mäkelä
f2b4972bd4 Merge 10.11 into 11.0 2023-07-26 15:13:06 +03:00
Sergei Golubchik
f6c5b57eb3 man pages: mariadb* are primary pages, mysql* are generated 2023-02-12 12:15:21 +01:00