Boost library support #4
Description
The Boost libraries have all kinds of useful stuff in them, and would make a
worthy addition to what's already available.
Original issue reported on code.google.com by mail.nob...@gmail.com on 13 Jul 2012 at 2:15