chiark / gitweb /
~ianmdlvl / nlopt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8c825d6 f6fc217)
Merge pull request #3 from xantares/autogen
authorSteven G. Johnson <stevenj@mit.edu>
Fri, 30 Aug 2013 17:37:09 +0000 (10:37 -0700)
committerSteven G. Johnson <stevenj@mit.edu>
Fri, 30 Aug 2013 17:37:09 +0000 (10:37 -0700)
Added an option to configure in autogen


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.