]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2776 from bangerth/minor-cleanups
authorDenis Davydov <davydden@gmail.com>
Thu, 7 Jul 2016 21:46:14 +0000 (23:46 +0200)
committerGitHub <noreply@github.com>
Thu, 7 Jul 2016 21:46:14 +0000 (23:46 +0200)
commit691e74d0d801632f2ddacc29df708bbffc4ef7ca
tree3f7597e85ed488d6b21101b48ec5d23a64cc4390
parent2359186336b2e868e6ab3dda54ffb07a318622c6
parent23869981f0a3909d8c8ab7357fc050c042e0734d
Merge pull request #2776 from bangerth/minor-cleanups

Minor cleanups.

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.