1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00
Files
mariadb/plugin
Sergei Golubchik b24a04c6e0 don't do anything for AWS plugin unless it's enabled
in particular, don't do ExternalProject_Add()
that starts creating build directories for a disabled
plugin
2016-03-19 19:40:33 +01:00
..
2013-06-06 17:51:28 +02:00
2015-12-21 21:24:22 +01:00
2016-02-23 21:35:05 +01:00
2013-07-17 21:24:29 +02:00
2016-03-18 22:05:23 +01:00
2016-03-18 22:05:23 +01:00
2016-02-15 13:02:57 +01:00
2016-03-18 22:05:23 +01:00