From bf3280449975dca498e489214075e7d7d4c803dc Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 8 Jan 2006 02:00:01 +0000
Subject: [PATCH] *** empty log message ***

---
 benchmarks/bugs/bug_demi_cercles.geo | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 benchmarks/bugs/bug_demi_cercles.geo

diff --git a/benchmarks/bugs/bug_demi_cercles.geo b/benchmarks/bugs/bug_demi_cercles.geo
deleted file mode 100644
index a42a3fe8cb..0000000000
--- a/benchmarks/bugs/bug_demi_cercles.geo
+++ /dev/null
@@ -1,13 +0,0 @@
-Point(1) = {0.0,0.0,0.0,.08};
-Point(2) = {-.5,0.0,0.0,.08};
-Point(3) = {.5,0.0,0.0,.08};
-Point(4) = {.5,-.5,0.0,.08};
-Point(5) = {-.5,-.5,0.0,.08};
-Circle(1) = {3,1,2} Plane {0,0,1};
-Line(2) = {3,4};
-Line(3) = {4,5};
-Line(4) = {5,2};
-Line Loop(5) = {3,4,-1,2};
-Plane Surface(6) = {5};
-Extrude Surface {6, {0,0,.5}};
-Coherence;
-- 
GitLab