]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8326 from bangerth/indent
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 20 Jun 2019 22:57:29 +0000 (18:57 -0400)
committerGitHub <noreply@github.com>
Thu, 20 Jun 2019 22:57:29 +0000 (18:57 -0400)
commite86cac201c7011076a3686ad788d9d6f61807cdf
tree16265e847d25c3bac0aad0e0f33e409fbdcbdb7a
parent69dc37e82e212563c1006ef558b558a560a6110f
parentea0cc484cd249dec1eef93185e8d75fa834dcf9b
Merge pull request #8326 from bangerth/indent

Indent comments.

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.