chiark / gitweb /
Merge pull request #94 from jschueller/config
authorSteven G. Johnson <stevenj@mit.edu>
Thu, 27 Oct 2016 14:07:47 +0000 (10:07 -0400)
committerGitHub <noreply@github.com>
Thu, 27 Oct 2016 14:07:47 +0000 (10:07 -0400)
commit0219488589ee72ed20d8c9ed36ad4bb0a52ec98c
treeb07bab1ffb095a45fa87c4e2c7e50b79d18a6209
parent21f6216da83106b68a12cefec1eacfb2bdf5078d
parent65b716ab9526650b07f926e56f82a358d9406694
Merge pull request #94 from jschueller/config

Rename config.h to nlopt_config.h