]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2741 from bangerth/minor-cleanups
authorDavid Wells <drwells@vt.edu>
Thu, 30 Jun 2016 19:27:42 +0000 (15:27 -0400)
committerGitHub <noreply@github.com>
Thu, 30 Jun 2016 19:27:42 +0000 (15:27 -0400)
commit52edfb5ad21203899dcd64eb135f162091d61f13
treee07d9e7c44cf7d123d920d53252ba00dbaad444a
parent7a8c3af2b82878bf91439f10d79f148502425810
parent6db9e271e4d47468b85c6451064f19955ba25808
Merge pull request #2741 from bangerth/minor-cleanups

Minor code 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.