]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6671 from masterleinad/fix_separators
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Fri, 25 May 2018 18:33:42 +0000 (20:33 +0200)
committerGitHub <noreply@github.com>
Fri, 25 May 2018 18:33:42 +0000 (20:33 +0200)
commit1ded45d071617087404b0c77070d610523fce7d6
treeb48734402cec7a88d1ff384a304607c1765a2026
parentbeee40a675699ce9612573c78d5772365d405271
parentc5a144919acaf422a628a216468a29fd6a24b25c
Merge pull request #6671 from masterleinad/fix_separators

Fix length of separators

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.