Andreas Lauser 70949c6edb use std::shared_ptr instead of boost::shared_ptr ... our policy is that we only use boost if necessary, i.e., if the oldest supported compiler does not support a given feature but boost does. since we recently switched to GCC 4.4 or newer, std::shared_ptr is available unconditionally.		2013-08-08 13:25:58 +02:00
..
core	use std::shared_ptr instead of boost::shared_ptr	2013-08-08 13:25:58 +02:00