From: Timo Heister Date: Tue, 15 Nov 2016 18:09:43 +0000 (-0500) Subject: Merge pull request #3588 from bangerth/update-some-comments X-Git-Tag: v8.5.0-rc1~399 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0cd4d1a5b5971e4a9d15c921a1796220da57454;p=dealii.git Merge pull request #3588 from bangerth/update-some-comments Update some comments that were not quite accurate any more. --- f0cd4d1a5b5971e4a9d15c921a1796220da57454