]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2942 from drwells/improve-indentation-script
authorDenis Davydov <davydden@gmail.com>
Tue, 9 Aug 2016 19:50:31 +0000 (21:50 +0200)
committerGitHub <noreply@github.com>
Tue, 9 Aug 2016 19:50:31 +0000 (21:50 +0200)
commit0981e6f39f9d76f13c1e5d719b210ce562fbe808
treeef471b2d9547b404630cde42d0ca613f91b29414
parent7e5a902c8c50efab9aabf9f02644674b66b29dfa
parentb3badc19c4668a620f535ec7743422cf91648ab1
Merge pull request #2942 from drwells/improve-indentation-script

[WIP] Use an explicit suffix on unindented backup 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.