From: Wolfgang Bangerth Date: Tue, 4 Oct 2016 16:39:25 +0000 (-0600) Subject: Merge pull request #3179 from tjhei/mg_comments X-Git-Tag: v8.5.0-rc1~609 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=614d21fe42b5b7c9ec41262e86ce8b90dedf57d2;p=dealii.git Merge pull request #3179 from tjhei/mg_comments improve comments in multigrid method --- 614d21fe42b5b7c9ec41262e86ce8b90dedf57d2