]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8670 from tjhei/tria_comment
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 29 Aug 2019 21:34:49 +0000 (17:34 -0400)
committerGitHub <noreply@github.com>
Thu, 29 Aug 2019 21:34:49 +0000 (17:34 -0400)
commitc57cd9cf65d2f61aaaadd0c6926d9f91047a4015
tree57395bdc1c004f78e02cba2bcec057072f29c70b
parent127fdef5109fad036eb2084c9eb61aeb273caffc
parent8e7711536aebdd54a7192fd7c72d59f704cc101a
Merge pull request #8670 from tjhei/tria_comment

remove obsolete note in comment of p::d::tria

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.