From: Matthias Maier Date: Wed, 5 Aug 2015 22:46:34 +0000 (-0500) Subject: Merge pull request #1269 from drwells/documentation-fixes X-Git-Tag: v8.4.0-rc2~670 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b87594d28e26c2c9db5a961b613dc36ae9549699;p=dealii.git Merge pull request #1269 from drwells/documentation-fixes Documentation fixes (part 3) --- b87594d28e26c2c9db5a961b613dc36ae9549699