]> https://gitweb.dealii.org/ - dealii.git/commit
Document the purpose of the two indentation scripts in ./contrib/utilities. 3311/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 29 Oct 2016 02:28:14 +0000 (20:28 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Sat, 29 Oct 2016 02:28:14 +0000 (20:28 -0600)
commit1bf651aba790afb16d21b4cd0f2d417b2a153f79
tree3bbe442cc632bb0268437d2225f08dc01c98c292
parent980e1c5ec4091d3080cd31d9c3c37bf50b78dbb5
Document the purpose of the two indentation scripts in ./contrib/utilities.
contrib/utilities/check_indentation.sh
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.