]> https://gitweb.dealii.org/ - dealii.git/commit
Fix macOS indenting 6810/head
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 20 Jun 2018 20:46:06 +0000 (22:46 +0200)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 20 Jun 2018 21:29:01 +0000 (23:29 +0200)
commit6ea6c651bf71f901c05a1b495ed31d5049732cdc
treee40100157cc75a4fa68c33a102e3e46a16472fdd
parent95a79d5761e0f6a6caba4cea9cd2d18435f4d119
Fix macOS indenting
contrib/utilities/indent_common.sh

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.