From 1f84eefcf36f06b86a37f7790168b6498054a0a2 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Sat, 12 Jan 2008 21:17:05 +0000
Subject: [PATCH] Unneeded anymore.

---
 Snap_rounding_2/dont_submit | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 Snap_rounding_2/dont_submit

diff --git a/Snap_rounding_2/dont_submit b/Snap_rounding_2/dont_submit
deleted file mode 100644
index 25b559403b6..00000000000
--- a/Snap_rounding_2/dont_submit
+++ /dev/null
@@ -1 +0,0 @@
-include/CGAL/Snap_rounding_2_mine.h