]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13381 from gfcas/indent_common
authorWolfgang Bangerth <bangerth@colostate.edu>
Mon, 14 Feb 2022 19:18:09 +0000 (12:18 -0700)
committerGitHub <noreply@github.com>
Mon, 14 Feb 2022 19:18:09 +0000 (12:18 -0700)
commitfc410dabe9fea298d7b11d8897557315094bb7bc
treeccc09caf8298cbd7af7c2e3168771835b9a141a3
parent2105cad54b490002bf27ec6cc26d326c8eb057d0
parent73b9fd4d774b09823f16cb0849a0d0007ba5d31b
Merge pull request #13381 from gfcas/indent_common

Simplify indent_common.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.