From: Wolfgang Bangerth <bangerth@colostate.edu>
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=refs%2Fpull%2F10407%2Fhead;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 <int dim>
   double