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