From: Wolfgang Bangerth Date: Thu, 28 May 2020 16:44:29 +0000 (-0600) Subject: Remove a duplicated comment. X-Git-Tag: v9.3.0-rc1~1529^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=23d152c4df897a10be48930a98de2e2855f5fe80;p=dealii.git Remove a duplicated comment. --- diff --git a/source/grid/tria_accessor.cc b/source/grid/tria_accessor.cc index 0e584aef30..1be2c74f74 100644 --- a/source/grid/tria_accessor.cc +++ b/source/grid/tria_accessor.cc @@ -1285,8 +1285,6 @@ namespace } - // a 2d face in 3d space - // a 2d face in 3d space template double