]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4470 from bangerth/indent
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Fri, 2 Jun 2017 18:18:19 +0000 (20:18 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Jun 2017 18:18:19 +0000 (20:18 +0200)
commitd58dd0bbcb559af07b01cd3406cb6f6aa56fc57b
treee2380c8196f628a504752b080e0c6fee7ba2e747
parent0eab0bf9869c8294cba2eecf499c56bf1971ee16
parentd512e44e92c9a4d79f9af81ba0c1971a3c047f34
Merge pull request #4470 from bangerth/indent

Change some indentation oddities.

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.