chiark / gitweb /
Use trusty
[nlopt.git] / nlopt_config.h.in
2016-10-27 Steven G. JohnsonMerge pull request #93 from jschueller/libcpp
2016-10-27 Steven G. JohnsonMerge pull request #94 from jschueller/config
2016-10-27 Julien SchuellerRename config.h to nlopt_config.h