]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89b8828) | patch
Set --options=none when indenting .inst.in files. 3058/head
authorDavid Wells <wellsd2@rpi.edu>
Sat, 3 Sep 2016 16:31:49 +0000 (12:31 -0400)
committerDavid Wells <wellsd2@rpi.edu>
Sat, 3 Sep 2016 16:31:49 +0000 (12:31 -0400)
commitdaf7c85170a99bd4da8e34636a9ced207e825fee
treee251b66758b060a008aed717065257d86310a5eatree | snapshot
parent89b88284ff45d18b02ad817eb588b805fbce16a4commit | diff
Set --options=none when indenting .inst.in files.

This works around a problem where, if one has global astyle options
turned on, they will be used to indent all of the .inst.in files when
one calls 'make indent'.
contrib/utilities/indent 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.