mirror of
https://github.com/MariaDB/server.git
synced 2025-01-28 01:34:17 +01:00
.. | ||
build-vs10.bat | ||
build-vs10_x64.bat | ||
configure-mariadb.sh | ||
create_def_file.js | ||
make_mariadb_win_dist |
.. | ||
build-vs10.bat | ||
build-vs10_x64.bat | ||
configure-mariadb.sh | ||
create_def_file.js | ||
make_mariadb_win_dist |