]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3176 from bangerth/fix-style-issue
authorBruno Turcksin <bruno.turcksin@gmail.com>
Mon, 3 Oct 2016 15:55:30 +0000 (11:55 -0400)
committerGitHub <noreply@github.com>
Mon, 3 Oct 2016 15:55:30 +0000 (11:55 -0400)
commit3bbe84a26fe9836bd4098422805b90707eba6d0c
tree506bd86cf2841ec57c46dd47eec0c0bdffb8d6df
parentb18df5d912d0ee7681e9e072ef6047620009b5dd
parent53ab17885a152e6a95afa87a3c15ba05cebc76f9
Merge pull request #3176 from bangerth/fix-style-issue

Eliminate an unnecessary space.

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.