chiark / gitweb /
add mingw64 script
[nlopt.git] / BUILD-MINGW64.sh
2012-07-20 stevenjadd mingw64 script