Jean-Marc Lasgouttes 37e7333359 some other stuff that should have been removed from boost ... Update extract.sh to remove more thoroughly old boost files (*.h, *.pl).		2020-12-20 18:12:46 +01:00
..
boost	some other stuff that should have been removed from boost	2020-12-20 18:12:46 +01:00
.gitignore	move boost to 3rdparty directory	2015-12-20 12:49:10 +01:00
extract.sh	some other stuff that should have been removed from boost	2020-12-20 18:12:46 +01:00
LICENSE_1_0.txt	move boost to 3rdparty directory	2015-12-20 12:49:10 +01:00
Makefile.am	remove some useless things from 3rdparty/boost	2020-11-29 19:29:56 +01:00