From: David Wells Date: Wed, 28 Sep 2016 00:15:35 +0000 (-0400) Subject: Merge pull request #3161 from bangerth/doc-update-47 X-Git-Tag: v8.5.0-rc1~633 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=883d29a48805435e894727a3d5f2b16e0d47a8bc;p=dealii.git Merge pull request #3161 from bangerth/doc-update-47 Convert a comment from old-style vertex numbering to the way we currently do it. --- 883d29a48805435e894727a3d5f2b16e0d47a8bc