From: Martin Kronbichler Date: Sat, 11 Jul 2015 08:47:56 +0000 (+0200) Subject: Merge pull request #1113 from drwells/fix-small-typos X-Git-Tag: v8.3.0-rc1~28 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4a82952f2090ccd6e3b1d5774a9715eace3040df;p=dealii.git Merge pull request #1113 from drwells/fix-small-typos Fix some small typos. --- 4a82952f2090ccd6e3b1d5774a9715eace3040df