]> https://gitweb.dealii.org/ - dealii.git/commit
Ignore deleted files when formatting 6953/head
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Sun, 22 Jul 2018 16:35:17 +0000 (18:35 +0200)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Sun, 22 Jul 2018 16:35:17 +0000 (18:35 +0200)
commit5ec43446818fbf7e4eb7f34735cf12bc0611495c
tree3b446f71b9efe98c87c4c1f49d2128c23c70d9f5
parentabab6fd3ff2f461f9cdae7a41f0fa1fc9c1f63de
Ignore deleted files when formatting
contrib/utilities/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.