chiark / gitweb /
~ianmdlvl / nlopt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9b00cd3 1131010)
Merge pull request #1 from xantares/master
authorSteven G. Johnson <stevenj@mit.edu>
Thu, 29 Aug 2013 14:28:42 +0000 (07:28 -0700)
committerSteven G. Johnson <stevenj@mit.edu>
Thu, 29 Aug 2013 14:28:42 +0000 (07:28 -0700)
Fixed some build issues


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