-RM-129-MR-Switch to Boost Filesystem 3
We need to switch to version 3 since mixing both versions (as we do currently) causes problems on windows.
(from redmine: created on 2012-02-06, closed on 2012-02-06, relates #126 (closed))
We need to switch to version 3 since mixing both versions (as we do currently) causes problems on windows.
(from redmine: created on 2012-02-06, closed on 2012-02-06, relates #126 (closed))