This website requires JavaScript.
Explore
Help
Sign in
mirror
/
mariadb
Watch
1
Star
0
Fork
You've already forked mariadb
0
mirror of
https://github.com/MariaDB/server.git
synced
2025-01-17 12:32:27 +01:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
Actions
ad95121e0f
mariadb
/
plugin
History
Daniel Fischer
073943cd7d
merge
2010-06-18 17:04:15 +02:00
..
audit_null
merge
2010-06-18 17:04:15 +02:00
daemon_example
merge
2010-06-18 17:04:15 +02:00
fulltext
Another incarnation of the patch for Bug#30708
2010-05-19 17:00:23 +04:00
semisync
Post-merge fix: header is used by the client API. Obvious in retrospect.
2010-06-05 16:39:03 -03:00
Makefile.am
Another incarnation of the patch for Bug#30708
2010-05-19 17:00:23 +04:00