Justin Viiret 037e39b6f5 ng_corpus_generator: stop using ptr_vector
Nowadays we can use vector<unique_ptr<T>>.
2017-04-26 15:17:03 +10:00
..
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00