joerg 187c93073f Fix build with boost 1.56.0.		2014-08-26 20:58:43 +00:00
..
patches	Fix build with boost 1.56.0.	2014-08-26 20:58:43 +00:00
DESCR
distinfo	Fix build with boost 1.56.0.	2014-08-26 20:58:43 +00:00
Makefile	Fix build with boost 1.56.0.	2014-08-26 20:58:43 +00:00
MESSAGE
options.mk
PLIST
PLIST.debug
PLIST.java