Michael Insel 592d1c7d7e Replace std::vector:push_back with initializer list
This replaces a few std::vector::push_back calls with initializer lists.
2018-03-12 20:35:49 +01:00
..
2018-01-22 09:52:29 +01:00
2018-02-23 17:01:46 +01:00
2018-01-02 12:08:55 +01:00
2018-01-22 09:52:29 +01:00
2018-01-02 23:29:48 +01:00
2018-01-22 09:52:29 +01:00