]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6580 from tamiko/pr_6567
authorDenis Davydov <davydden@gmail.com>
Fri, 11 May 2018 17:30:56 +0000 (19:30 +0200)
committerGitHub <noreply@github.com>
Fri, 11 May 2018 17:30:56 +0000 (19:30 +0200)
commita8263760f3e98580cc7575a7663f1cc0981130ed
tree509587f3704c736513833d3959678e2e6673b284
parent581654e26cca52402a44a530fde2d8a0b5f41c90
parentab71d10c7d69c1e38e81dd67c0742db206bc8838
Merge pull request #6580 from tamiko/pr_6567

[9.0] take over #6567

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.