]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14347 from bangerth/semicolon
authorLuca Heltai <luca.heltai@sissa.it>
Wed, 12 Oct 2022 09:32:12 +0000 (11:32 +0200)
committerGitHub <noreply@github.com>
Wed, 12 Oct 2022 09:32:12 +0000 (11:32 +0200)
commit441bbaf959fe33664e41ae51cfab851fecfa1c59
tree632b03f8b9529fb9c79d854c0d8cecdcd469c0ce
parentb1af4c92b9fea027e1a5f37513066afd3be809dc
parentc8e5c35b5809c616f7dab4244e2fef44d5c5e706
Merge pull request #14347 from bangerth/semicolon

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.