From: Julien Schueller Date: Sun, 10 Sep 2017 07:10:53 +0000 (+0200) Subject: Merge pull request #139 from jschueller/doc X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=eb13b3c7db764f67745ae01321cfae00308108b8;p=nlopt.git Merge pull request #139 from jschueller/doc Update doc --- eb13b3c7db764f67745ae01321cfae00308108b8