-
Daniel Vrátil authored
This also includes lots of boost::shared_ptr -> std::shared_ptr changes, but there are still places where boost is used. We should definitely do a second round of clean up later on.
920027cc
This also includes lots of boost::shared_ptr -> std::shared_ptr changes, but there are still places where boost is used. We should definitely do a second round of clean up later on.