]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13075 from bangerth/semi
authorMartin Kronbichler <martin.kronbichler@it.uu.se>
Wed, 15 Dec 2021 08:06:28 +0000 (09:06 +0100)
committerGitHub <noreply@github.com>
Wed, 15 Dec 2021 08:06:28 +0000 (09:06 +0100)
commitadcbac5b9ddc95bec42e954b0785aff0dfef5fdd
tree9963e7a69c80acda2c212702fcd4d4c96efc9ce6
parentc132084161227bb7afefc1385e82283d508e9024
parentd5caf26c04aacbdd488eb83f9605b74f90b4be81
Merge pull request #13075 from bangerth/semi

Remove an unnecessary semicolon.

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.