This website requires JavaScript.
Explore
Help
Sign In
database
/
mariadb
Watch
1
Star
0
Fork
0
You've already forked mariadb
mirror of
https://github.com/MariaDB/server.git
synced
2026-01-06 05:22:24 +03:00
Code
Activity
Files
073943cd7dc1b1c897543ffb704b821de942b07b
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