Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / bin / static-library.bat
1 @bash %~dp0static-library %*