]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3059 from drwells/reindent-vector-tools
authorTimo Heister <timo.heister@gmail.com>
Thu, 8 Sep 2016 16:39:47 +0000 (12:39 -0400)
committerGitHub <noreply@github.com>
Thu, 8 Sep 2016 16:39:47 +0000 (12:39 -0400)
commit9a07c81658a97e0b48322c6ff28265729d7ea288
tree820be64a2572090558465196c1fd3ce1b23739f7
parent5fa3e5d6d76428c38d644f3cd601ab5966086ff8
parent15c478fa868163c6735b6e63693409ac19185b3c
Merge pull request #3059 from drwells/reindent-vector-tools

Reindent vector tools
doc/news/changes.h

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.