mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
6 lines
160 B
Text
6 lines
160 B
Text
[MYSQL]
|
|
tree_location = lp:maria
|
|
post_commit_to = commits@mariadb.org
|
|
post_commit_url = lp:maria
|
|
tree_name = maria
|
|
project_name = "MariaDB 5.1, with Maria 1.5"
|