]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6673 from drwells/add-indent-branch-target
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Fri, 15 Jun 2018 20:52:33 +0000 (22:52 +0200)
committerGitHub <noreply@github.com>
Fri, 15 Jun 2018 20:52:33 +0000 (22:52 +0200)
commitbe5bb21d36cb5277c8c871d2d4739009dc9363e8
treedf0fcf65984c5433773aecdb01d6a6f161e65437
parent7ee8c0235598227c58dd32edd79eed48a8c04270
parent3223ce406cc38429f9878cdf297f295dbdcf5d3a
Merge pull request #6673 from drwells/add-indent-branch-target

Add script that reindents recently changed files.

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.