mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
6 lines
177 B
Text
6 lines
177 B
Text
[MYSQL]
|
|
tree_location = lp:maria
|
|
post_commit_to = maria-developers@lists.launchpad.net
|
|
post_commit_url = lp:maria
|
|
tree_name = maria
|
|
project_name = "MariaDB 5.1, with Maria 1.5"
|