]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1000 from bangerth/minor-cleanup
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Fri, 12 Jun 2015 06:41:33 +0000 (08:41 +0200)
committerMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Fri, 12 Jun 2015 06:41:33 +0000 (08:41 +0200)
commit40418a21756382843d9c384b8f618b7212d03cbd
treef05f0bbaaea6a561b747a3f7357848c98dd7e90c
parent4ed61cd0437f15057a8bb95f9d1ca527880fddb7
parent513382f1b2382a991a9a1866aa81baefd5d91c6c
Merge pull request #1000 from bangerth/minor-cleanup

Remove an odd and unnecessary pair of braces.

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.