]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6065 from tamiko/silence_a_warning
authorWolfgang Bangerth <bangerth@colostate.edu>
Mon, 19 Mar 2018 22:48:39 +0000 (16:48 -0600)
committerGitHub <noreply@github.com>
Mon, 19 Mar 2018 22:48:39 +0000 (16:48 -0600)
commitc6665c5cc69a9ac7715d13617ce5a85680c0d12d
tree2def0bb46e5e4a02f84c4b063388ca808753db7a
parent9b1413e380a07fe85347848418cc9e6c794ebc39
parentcdf9a4b2b56425ab387f9f7fe6cc2f5d22ceac18
Merge pull request #6065 from tamiko/silence_a_warning

Remove superfluous ;

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.