]>
author | Fabian Castelli <fabian.castelli@kit.edu> | |
Mon, 21 Feb 2022 18:45:01 +0000 (19:45 +0100) | ||
committer | Fabian Castelli <fabian.castelli@kit.edu> | |
Mon, 21 Feb 2022 18:45:01 +0000 (19:45 +0100) |
contrib/utilities/indent-all | patch | 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