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