]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c371fda) | patch
Improve documentation of 'make indent'. 2687/head
authorDavid Wells <wellsd2@rpi.edu>
Thu, 16 Jun 2016 02:10:48 +0000 (22:10 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Thu, 16 Jun 2016 02:10:48 +0000 (22:10 -0400)
commit7b7918e581c5e2f5b8e9a782c6b4de3d6e595bd3
tree02b254c9013afdf3b3c3ec06e68619094afbd960tree | snapshot
parentc371fdaa19c00cd25414ae4e09b9801e5301e437commit | diff
Improve documentation of 'make indent'.

This useful feature was added in 401f124203 (March 2016) but not
mentioned in the documentation at that time.
doc/doxygen/headers/coding_conventions.h diff | blob | history
Mirror of the development repository for deal.II

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.