]> https://gitweb.dealii.org/ - dealii.git/commit
contrib/utilities: hook cmake_lowercase into check_indentation
authorMatthias Maier <tamiko@43-1.org>
Thu, 24 Nov 2022 10:36:58 +0000 (04:36 -0600)
committerMatthias Maier <tamiko@43-1.org>
Thu, 24 Nov 2022 21:01:57 +0000 (15:01 -0600)
commit831a06d38bf8fd08e04570e0a8e0c3d810d053aa
treeda6cd44c9a52e153bb8022d118db3b04f7fd1810
parent94dd8121c4bd6e5f81b028a04a6a1e4469a4b71b
contrib/utilities: hook cmake_lowercase into check_indentation
contrib/utilities/check_indentation.sh

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


Typeset in Trocchi and Trocchi Bold Sans Serif.