From: Matthias Maier Date: Mon, 11 May 2015 13:12:35 +0000 (+0200) Subject: Merge pull request #922 from bangerth/doc-update-28 X-Git-Tag: v8.3.0-rc1~181 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2bde219143a9e04d71d35e9aeb61a002026360f7;p=dealii.git Merge pull request #922 from bangerth/doc-update-28 Remove some comments that were not up to date any more. --- 2bde219143a9e04d71d35e9aeb61a002026360f7