]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8717 from bangerth/remove-friend
authorDaniel Arndt <arndtd@ornl.gov>
Mon, 9 Sep 2019 19:31:27 +0000 (15:31 -0400)
committerGitHub <noreply@github.com>
Mon, 9 Sep 2019 19:31:27 +0000 (15:31 -0400)
commita74f3a3301db3593705cdd68ef3fce81b7f5d1de
treed425f9ee137ad87877ece9ef330469911ac5ae33
parentaa0b8d74d4943da609bb58692aaa6bc8a3f64c20
parent38aad87021f6d26aa06c419802238c58ccefa1df
Merge pull request #8717 from bangerth/remove-friend

Remove an unnecessary friend declaration.

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.