From: Matthias Maier Date: Mon, 21 Sep 2015 15:01:04 +0000 (-0500) Subject: Merge pull request #1645 from drwells/fix-doc-typos-4 X-Git-Tag: v8.4.0-rc2~387 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ef64dbf4b8399a1952df389f81bbc1102bd2e02f;p=dealii.git Merge pull request #1645 from drwells/fix-doc-typos-4 Fix some typos in the documentation, part 4. --- ef64dbf4b8399a1952df389f81bbc1102bd2e02f