Jean-Marc Lasgouttes dd21fae48c Remove signal2 from included boost ... This is not necessary now that we use the nod library.		2020-12-14 18:40:58 +01:00
..
boost	Remove signal2 from included boost	2020-12-14 18:40:58 +01:00
.gitignore	move boost to 3rdparty directory	2015-12-20 12:49:10 +01:00
extract.sh	Remove signal2 from included boost	2020-12-14 18:40:58 +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