1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-05 13:16:09 +03:00
Commit Graph

1 Commits

Author SHA1 Message Date
Sergei Golubchik
f6c5b57eb3 man pages: mariadb* are primary pages, mysql* are generated 2023-02-12 12:15:21 +01:00