]> git.lyx.org Git - lyx.git/commit
Remove unneeded files from extract.sh
authorGeorg Baum <baum@lyx.org>
Tue, 7 Jun 2016 19:10:19 +0000 (21:10 +0200)
committerGeorg Baum <baum@lyx.org>
Tue, 7 Jun 2016 19:10:19 +0000 (21:10 +0200)
commitbdbe81be15b78d3edd658f9ce94fdf34ff825aea
tree4b5c95534f3ae80396e2dc6e3b2ff61d4175f849
parent0f5554a8f230b9522ff0a1c6e4e0784333ecfdcd
Remove unneeded files from extract.sh

We do require less files from boost now.
3rdparty/boost/extract.sh