mirror of
https://github.com/MariaDB/server.git
synced 2025-01-21 22:34:18 +01:00
4fac239bf6
Reflect the rename of build-plugin.sh. |
||
---|---|---|
.. | ||
dynconfig | ||
export.sh | ||
make_binary_release.sh | ||
make_source_release.sh |