From: Steven G. Johnson Date: Tue, 3 Sep 2013 12:09:11 +0000 (-0700) Subject: Merge pull request #5 from xantares/prefix X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=35e63778654f55baafbdf554de58ac3c20220c33;p=nlopt.git Merge pull request #5 from xantares/prefix Plugins installation honor prefix --- 35e63778654f55baafbdf554de58ac3c20220c33