chiark / gitweb /
~ianmdlvl / nlopt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 092ff8b) | patch
Added an option to configure in autogen
authorxantares <xantares09@hotmail.com>
Fri, 30 Aug 2013 14:44:08 +0000 (16:44 +0200)
committerxantares <xantares09@hotmail.com>
Fri, 30 Aug 2013 14:44:08 +0000 (16:44 +0200)
commitf6fc21782b0032d6f87aeef5766aa498c63d6582
tree46372dafd37ba10c30afc62d0977b04a2ce494e1tree | snapshot
parent092ff8ba9558a9779b3789ee069dcfd95195a01bcommit | diff
Added an option to configure in autogen
autogen.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.