]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6713 from bangerth/indent
authorMatthias Maier <tamiko@43-1.org>
Wed, 6 Jun 2018 01:56:54 +0000 (20:56 -0500)
committerGitHub <noreply@github.com>
Wed, 6 Jun 2018 01:56:54 +0000 (20:56 -0500)
commit2d84545fd0b6c8502e2319abe7c93ee871e4da23
treed74aa6b027ea5b272db2fe68118158f0991999b9
parentddbbb55c6f3589c8f3c6929979d0a0261324e58b
parenta674ab94f4393a013283e84c62f0004c7a89842e
Merge pull request #6713 from bangerth/indent

Provide a more readable indentation.

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.