]>
author | Luca Heltai <luca.heltai@sissa.it> | |
Thu, 5 Oct 2023 13:21:01 +0000 (15:21 +0200) | ||
committer | GitHub <noreply@github.com> | |
Thu, 5 Oct 2023 13:21:01 +0000 (15:21 +0200) | ||
commit | ecc00f5df901936741db8cbc096fafac6360b63d | |
tree | 718f6eebdfa49bba7dd6a79abea6673408873722 | tree | snapshot |
parent | c6d36328141a37222c67c73ec760bc5d352d9c3f | commit | diff |
contrib/utilities/download_clang_format | 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