From: Matthias Maier Date: Wed, 5 Aug 2015 04:25:53 +0000 (-0500) Subject: Merge pull request #1262 from drwells/fix-header-typos X-Git-Tag: v8.4.0-rc2~679 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a405f5af2292676073b2a0b10b23b407e7585a6;p=dealii.git Merge pull request #1262 from drwells/fix-header-typos Fix header typos --- 5a405f5af2292676073b2a0b10b23b407e7585a6