mirror of
https://github.com/MariaDB/server.git
synced 2025-08-27 13:04:36 +03:00
Don't ever build it, and don't include it in source tarballs. (we keep the sources in bzr to not get conflicts on every upstream change).
Don't ever build it, and don't include it in source tarballs. (we keep the sources in bzr to not get conflicts on every upstream change).