Thomas Goyne 7fc78d40ab Switch from boost::ptr_vector to a vector of unique_ptr ... ptr_vector hasn't been updated for C++11, so despite being specifically designed to store pointers to objects it's less safe and not really any easier to use than a regular vector of unique_ptrs		2014-04-14 13:52:14 -07:00
..
libaegisub	Switch from boost::ptr_vector to a vector of unique_ptr	2014-04-14 13:52:14 -07:00