1
0
mirror of https://github.com/MariaDB/server.git synced 2026-10-23 18:49:29 +03:00
Files
mariadb/VERSION
Sergei Golubchik 6fb17a0601 5.5.39 merge
2014-08-07 18:06:56 +02:00

5 lines
89 B
Plaintext

MYSQL_VERSION_MAJOR=10
MYSQL_VERSION_MINOR=0
MYSQL_VERSION_PATCH=13
MYSQL_VERSION_EXTRA=