From: Timo Heister Date: Sun, 12 Apr 2015 20:14:49 +0000 (-0400) Subject: Merge pull request #785 from bangerth/doc-update-18 X-Git-Tag: v8.3.0-rc1~286 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=427879e774c15412d41e823a281cae7deb6d4380;p=dealii.git Merge pull request #785 from bangerth/doc-update-18 Clarify documentation. --- 427879e774c15412d41e823a281cae7deb6d4380