]>
author | Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de> | |
Sun, 22 Jul 2018 16:35:17 +0000 (18:35 +0200) | ||
committer | Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de> | |
Sun, 22 Jul 2018 16:35:17 +0000 (18:35 +0200) | ||
commit | 5ec43446818fbf7e4eb7f34735cf12bc0611495c | |
tree | 3b446f71b9efe98c87c4c1f49d2128c23c70d9f5 | tree | snapshot |
parent | abab6fd3ff2f461f9cdae7a41f0fa1fc9c1f63de | 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