chiark / gitweb /
~ianmdlvl / nlopt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 101c69f fe28633)
Merge pull request #139 from jschueller/doc
authorJulien Schueller <schueller@phimeca.com>
Sun, 10 Sep 2017 07:10:53 +0000 (09:10 +0200)
committerGitHub <noreply@github.com>
Sun, 10 Sep 2017 07:10:53 +0000 (09:10 +0200)
Update doc


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