Jean-Marc Lasgouttes 7dad35b0f8 remove some useless things from 3rdparty/boost ... Remove 1/ the libs/ directory 2/ the CMakeList.txt file, since it only mentions this directory 3/ the cstdint.hpp file in extract.sh, since we do not use this header file directly (should not make a difference, boost uses it in other places). Update boost/Makefile.am accordingly.		2020-11-29 19:29:56 +01:00
..
boost	remove most traces of boost::regex	2020-11-28 19:59:17 +01:00
.gitignore
extract.sh	remove some useless things from 3rdparty/boost	2020-11-29 19:29:56 +01:00
LICENSE_1_0.txt
Makefile.am	remove some useless things from 3rdparty/boost	2020-11-29 19:29:56 +01:00