From: Timo Heister Date: Thu, 8 Sep 2016 16:39:47 +0000 (-0400) Subject: Merge pull request #3059 from drwells/reindent-vector-tools X-Git-Tag: v8.5.0-rc1~693 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9a07c81658a97e0b48322c6ff28265729d7ea288;p=dealii.git Merge pull request #3059 from drwells/reindent-vector-tools Reindent vector tools --- 9a07c81658a97e0b48322c6ff28265729d7ea288