chiark / gitweb /
Merge branch 'libtool' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 26 May 2016 16:33:39 +0000 (16:33 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 26 May 2016 16:33:39 +0000 (16:33 +0000)
commita7e227d0e3a68d10b8c963e102df9ab0c529c4a8
treebc049bb2f7e0539a750510a167be55549c32911d
parentbad9c3e80455aac2a96398804e8b49b087f90f0b
parent3a45f6ebe0cd46fe7cfce2ad197e4ac2dd31ad86
Merge branch 'libtool' into 'master'

Add libtool to deps list

See merge request !126