Andreas Lauser 02cc08dd37 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.

2017-11-17 13:10:06 +01:00

..

common

edit

2017-06-27 10:32:05 +02:00

core/utility/parameters

use std::shared_ptr instead of boost::shared_ptr

2017-11-17 13:10:06 +01:00