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