chiark / gitweb /
~ianmdlvl / nlopt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44f13a2) | patch
Strip only if prefix is provided.
authorxantares <xantares09@hotmail.com>
Sun, 1 Sep 2013 18:37:14 +0000 (20:37 +0200)
committerxantares <xantares09@hotmail.com>
Sun, 1 Sep 2013 18:37:14 +0000 (20:37 +0200)
commit570a5e1c9c7fe405b3b96cf3c5c6f1735c02696d
treed04d23484e58ca0f5ca745a50aa826ae09998396tree | snapshot
parent44f13a292b073d3a8ccbc2db6103c52183003400commit | diff
Strip only if prefix is provided.
configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.