]> https://gitweb.dealii.org/ - dealii.git/commit
Set file permissions in the indentation script. 5428/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 8 Nov 2017 20:15:18 +0000 (13:15 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Wed, 8 Nov 2017 20:15:18 +0000 (13:15 -0700)
commit6ba9baedc0e4a7bde164161d0d077caa95fed38f
tree34e8febd0a25585f362c932b2003ac88e9ffc8c4
parent0d20fde1c5ba0bbe34b52603ab3446599b08a13b
Set file permissions in the indentation script.
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.