]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4238 from drwells/add-make_unique
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 10 Apr 2017 12:17:44 +0000 (14:17 +0200)
committerGitHub <noreply@github.com>
Mon, 10 Apr 2017 12:17:44 +0000 (14:17 +0200)
commit5bb2cc79dcda15c59d82a5e18d62b8fcd4915d25
treea82603473995c9bdad60d83fc067900c81bac855
parentfb5efdddfb1171ab10eba7333d32d7cf61737171
parentde2f6d62725ba45a9b2743c948a5f4aee65bd3f4
Merge pull request #4238 from drwells/add-make_unique

Add make unique

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.