Jean-Marc Lasgouttes d9c39232ac Reduce the amount of needed boost headers ... boost/signals2.hpp is a convenience header, it seems that boost/signals2/signal.hpp is enough for our needs. This allows to get rid of 6MiB of header files in 3rdparty/boost (and probably to speed-up compilation).		2020-12-09 14:50:18 +01:00
..
boost	Reduce the amount of needed boost headers	2020-12-09 14:50:18 +01:00
.gitignore
extract.sh	Reduce the amount of needed boost headers	2020-12-09 14:50:18 +01:00
LICENSE_1_0.txt
Makefile.am	remove some useless things from 3rdparty/boost	2020-11-29 19:29:56 +01:00