]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3311 from bangerth/document-scripts
authorDenis Davydov <davydden@gmail.com>
Sat, 29 Oct 2016 06:16:24 +0000 (08:16 +0200)
committerGitHub <noreply@github.com>
Sat, 29 Oct 2016 06:16:24 +0000 (08:16 +0200)
commit8ecd702faf33846523d3b95707cda7f998f102ed
tree3bbe442cc632bb0268437d2225f08dc01c98c292
parent980e1c5ec4091d3080cd31d9c3c37bf50b78dbb5
parent1bf651aba790afb16d21b4cd0f2d417b2a153f79
Merge pull request #3311 from bangerth/document-scripts

Document the purpose of the two indentation scripts in ./contrib/utilities.

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.