]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9511 from tamiko/fix_indent_for_old_git
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Thu, 13 Feb 2020 07:10:09 +0000 (08:10 +0100)
committerGitHub <noreply@github.com>
Thu, 13 Feb 2020 07:10:09 +0000 (08:10 +0100)
commit1f52bf7d6aa81eaefe0d319a773b2038aab3da10
tree67781013811c5b28a7be92c51662353599971566
parente3de135abba0dca81d297f2887b98f4d1e5afb75
parentac0f23f2826e9ff1fc8afa18fde5297bc95f6d25
Merge pull request #9511 from tamiko/fix_indent_for_old_git

Indent script: Do not use --diff-filter=d

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.