mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-16 12:02:42 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
mariadb/config
History
Michael Widenius 1a985a17c0 Merge with 5.1 
Updated version number in configure
2011-12-13 20:08:41 +02:00
..
ac-macros Merge with 5.1 2011-12-13 20:08:41 +02:00