mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 21:42:35 +01:00
8 lines
260 B
Text
8 lines
260 B
Text
# Version number for MariaDB is maintained here.
|
|
# The version string is created from:
|
|
# MYSQL_VERSION_MAJOR.MYSQL_VERSION_MINOR.MYSQL_VERSION_PATCH-MYSQL_VERSION_EXTRA
|
|
#
|
|
MYSQL_VERSION_MAJOR=10
|
|
MYSQL_VERSION_MINOR=0
|
|
MYSQL_VERSION_PATCH=13
|
|
MYSQL_VERSION_EXTRA=
|