mirror of
https://github.com/MariaDB/server.git
synced 2025-10-30 18:36:12 +01:00
12 lines
307 B
Makefile
12 lines
307 B
Makefile
EXTRA_DIST = \
|
|
README.md \
|
|
build-vc2015.bat \
|
|
build-vc2015-zip-32.bat \
|
|
build-vc2015-zip-64.bat \
|
|
build-vc2015-msi-32.bat \
|
|
build-vc2015-msi-64.bat \
|
|
build-vc2017.bat \
|
|
build-vc2017-zip-32.bat \
|
|
build-vc2017-zip-64.bat \
|
|
build-vc2017-msi-32.bat \
|
|
build-vc2017-msi-64.bat
|