]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9700 from bangerth/3-lines
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sat, 21 Mar 2020 06:31:38 +0000 (07:31 +0100)
committerGitHub <noreply@github.com>
Sat, 21 Mar 2020 06:31:38 +0000 (07:31 +0100)
commita90cf995b4cbc7f43d35005ddd13c9a2fb239e34
tree13e87d0c06e87d806013c47269acca085f0cf80b
parentdc27bc992f2344b1c2462915a2c3b40ebf61d3c1
parent48d277581adec36bd72824cfa3f4b54d1a44c39a
Merge pull request #9700 from bangerth/3-lines

Respect the 3-empty-lines rule.

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.