-
François Grisez authored
* usage of std::unique_ptr<> * usage of override specifier * remove one unused and unimplemented method * other cosmetic changes
a806a741
* usage of std::unique_ptr<> * usage of override specifier * remove one unused and unimplemented method * other cosmetic changes