From: Wolfgang Bangerth Date: Fri, 9 Dec 2016 21:39:04 +0000 (-0700) Subject: Merge pull request #3670 from jppelteret/doc_fix_03 X-Git-Tag: v8.5.0-rc1~336 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c270a8adb361437fe1921f007ad96049fe75fe90;p=dealii.git Merge pull request #3670 from jppelteret/doc_fix_03 Fix some minor documentation errors from #3034 --- c270a8adb361437fe1921f007ad96049fe75fe90