From 23d152c4df897a10be48930a98de2e2855f5fe80 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Thu, 28 May 2020 10:44:29 -0600 Subject: [PATCH] Remove a duplicated comment. --- source/grid/tria_accessor.cc | 2 -- 1 file changed, 2 deletions(-) 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 -- 2.39.5