]> https://gitweb.dealii.org/ - dealii.git/commit
Add check for required indentation script 13380/head
authorFabian Castelli <fabian.castelli@kit.edu>
Mon, 14 Feb 2022 17:44:57 +0000 (18:44 +0100)
committerFabian Castelli <fabian.castelli@kit.edu>
Mon, 14 Feb 2022 17:44:57 +0000 (18:44 +0100)
commit147905b18ca34a33237933ffd64c40362ec0908e
tree45d5a2bdbb7030c810f45871cc3c13deaf072213
parentbbe6faa6c435fbb2027d78649b7df65bb76cf650
Add check for required indentation script
contrib/utilities/indent
contrib/utilities/indent-all

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.