mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 19:11:46 +01:00
3a0d957f8a
Use "dist_bin_SCRIPTS" to get a script distributed |
||
---|---|---|
.. | ||
bin | ||
config | ||
demos | ||
docs | ||
home | ||
include | ||
lib | ||
ndbapi-examples | ||
src | ||
test | ||
tools | ||
Makefile.am |