]> www.ginac.de Git - ginac.git/commitdiff
Replace some .push_back() with .emplace_back() where it's safe.
authorRichard Kreckel <kreckel@ginac.de>
Sun, 22 Sep 2019 21:32:14 +0000 (23:32 +0200)
committerRichard Kreckel <kreckel@ginac.de>
Sun, 22 Sep 2019 21:32:14 +0000 (23:32 +0200)

No differences found