From: Wolfgang Bangerth Date: Sat, 13 Feb 2016 21:55:06 +0000 (-0600) Subject: Merge pull request #2179 from bangerth/doc-update-47 X-Git-Tag: v8.5.0-rc1~1316 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d4d2cec79658b3ee8861ac769e954831e9efb70b;p=dealii.git Merge pull request #2179 from bangerth/doc-update-47 Doc update. Also add an assertion. --- d4d2cec79658b3ee8861ac769e954831e9efb70b