]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5304 from bangerth/rename-member
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 23 Oct 2017 23:09:17 +0000 (01:09 +0200)
committerGitHub <noreply@github.com>
Mon, 23 Oct 2017 23:09:17 +0000 (01:09 +0200)
commitfd4ce508aa710517e405485be5e8714a9c756d7f
tree638efb3caa68c22edcde0188c7eed5066febb7e8
parent343b8b71d62692f3645147a9e40736d38da183b4
parent7a084ac0ac36f8ba33f111158d7bf36154bd201d
Merge pull request #5304 from bangerth/rename-member

Make Vector::values a std::unique_ptr.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.