]> https://gitweb.dealii.org/ - dealii.git/commit
simplify indent script 1503/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 1 Sep 2015 14:23:50 +0000 (10:23 -0400)
committerTimo Heister <timo.heister@gmail.com>
Tue, 1 Sep 2015 14:24:41 +0000 (10:24 -0400)
commitc54c38c5bf48ef06b7c0bc425299ad6b529e71bc
treeab3700e58c0ec9b771cd765164fe6141113ec03b
parent683d34cf34b0bed1f48dd9cc55b8e0b71d58ecbe
simplify indent script

- find can filter by extension
- xargs does parallel invocation
- fair grouping improves performance
contrib/utilities/indent

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.