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)
Add libtool to deps list

See merge request !126


Trivial merge