]>
author | Wolfgang Bangerth <bangerth@colostate.edu> | |
Fri, 23 May 2025 15:07:34 +0000 (09:07 -0600) | ||
committer | Wolfgang Bangerth <bangerth@colostate.edu> | |
Fri, 23 May 2025 15:07:51 +0000 (09:07 -0600) |
contrib/utilities/indent | patch | blob | history | |
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