]>
author | Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de> | |
Wed, 20 Jun 2018 20:46:06 +0000 (22:46 +0200) | ||
committer | Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de> | |
Wed, 20 Jun 2018 21:29:01 +0000 (23:29 +0200) | ||
commit | 6ea6c651bf71f901c05a1b495ed31d5049732cdc | |
tree | e40100157cc75a4fa68c33a102e3e46a16472fdd | tree | snapshot |
parent | 95a79d5761e0f6a6caba4cea9cd2d18435f4d119 | commit | diff |
contrib/utilities/indent_common.sh | diff | blob | history |
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