diff --git a/Nef_2/debug.txt b/Nef_2/debug.txt
deleted file mode 100644
index 63eaace23a9..00000000000
--- a/Nef_2/debug.txt
+++ /dev/null
@@ -1,82 +0,0 @@
-2
-include/CGAL/Nef_2/Nef_polynomial.h:#define CGAL_NEF_DEBUG 3
-include/CGAL/Extended_homogeneous.h:#define CGAL_NEF_DEBUG 5
-include/CGAL/Extended_cartesian.h:#define CGAL_NEF_DEBUG 5
-include/CGAL/Filtered_extended_homogeneous.h:#define CGAL_NEF_DEBUG 5
-include/CGAL/Nef_2/PM_const_decorator.h:#define CGAL_NEF_DEBUG 7
-include/CGAL/Nef_polyhedron_2.h:#define CGAL_NEF_DEBUG 11
-include/CGAL/Nef_polyhedron_3.h:#define CGAL_NEF_DEBUG 11
-include/CGAL/Nef_2/PM_overlayer.h:#define CGAL_NEF_DEBUG 13
-include/CGAL/Nef_2/PM_point_locator.h:#define CGAL_NEF_DEBUG 17
-include/CGAL/Nef_2/gen_point_location.h:#define CGAL_NEF_DEBUG 17
-include/CGAL/Nef_3/bounded_side_3.h:#define CGAL_NEF_DEBUG 17
-include/CGAL/Nef_2/Constrained_triang_traits.h:#define CGAL_NEF_DEBUG 19
-include/CGAL/Nef_3/SNC_decorator.h:#define CGAL_NEF_DEBUG 19
-include/CGAL/Nef_2/Segment_overlay_traits.h:#define CGAL_NEF_DEBUG 23
-include/CGAL/Nef_S2/SM_decorator.h:#define CGAL_NEF_DEBUG  23
-include/CGAL/Nef_S2/sphere_predicates.h:#define CGAL_NEF_DEBUG 23
-include/CGAL/Nef_3/polyhedron_3_to_nef_3.h:#define CGAL_NEF_DEBUG 29
-include/CGAL/Nef_3/SNC_FM_decorator.h:#define CGAL_NEF_DEBUG 31
-include/CGAL/Nef_3/SNC_ray_shooter.h:#define CGAL_NEF_DEBUG 37
-include/CGAL/Nef_3/SNC_intersection.h:#define CGAL_NEF_DEBUG 37
-include/CGAL/Nef_3/SNC_simplify.h:#define CGAL_NEF_DEBUG 41
-include/CGAL/Nef_3/SNC_structure.h:#define CGAL_NEF_DEBUG 41
-include/CGAL/Nef_3/SNC_constructor.h:#define CGAL_NEF_DEBUG 43
-include/CGAL/Nef_3/SNC_external_structure.h:#define CGAL_NEF_DEBUG 43
-include/CGAL/Nef_S2/SM_point_locator.h:#define CGAL_NEF_DEBUG 47
-include/CGAL/Nef_polyhedron_S2.h:#define CGAL_NEF_DEBUG 53
-include/CGAL/Bounded_kernel.h:#define CGAL_NEF_DEBUG 59
-include/CGAL/Nef_3/Pluecker_line_3.h:#define CGAL_NEF_DEBUG 61
-include/CGAL/Nef_S2/SM_const_decorator.h:#define CGAL_NEF_DEBUG 67
-include/CGAL/Nef_3/Edge_edge_overlay.h:#define CGAL_NEF_DEBUG 71
-73
-include/CGAL/normal_vector_newell_3.h:#define CGAL_NEF_DEBUG 79
-include/CGAL/Nef_3/SNC_items.h:#define CGAL_NEF_DEBUG 83
-89
-97
-101
-103
-107
-include/CGAL/Nef_3/SNC_sphere_map.h:#define CGAL_NEF_DEBUG 109
-include/CGAL/Nef_S2/Sphere_map.h:#define CGAL_NEF_DEBUG 109
-include/CGAL/Nef_S2/Sphere_geometry.h:#define CGAL_NEF_DEBUG 113
-127
-include/CGAL/Nef_S2/SM_overlayer.h:#define CGAL_NEF_DEBUG 131
-include/CGAL/Nef_3/SNC_SM_overlayer.h:#define CGAL_NEF_DEBUG 131
-include/CGAL/Nef_S2/SM_triangulator.h:#define CGAL_NEF_DEBUG 137
-include/CGAL/Nef_S2/SM_constrained_triang_traits.h:#define CGAL_NEF_DEBUG 139
-149
-include/CGAL/Nef_S2/Sphere_geometry_OGL.h:#define CGAL_NEF_DEBUG 151
-157
-163
-167
-173
-179
-181,    
-include/CGAL/Nef_3/Infimaximal_box.h:#define CGAL_NEF_DEBUG 191
-193
-197
-199
-include/CGAL/Nef_S2/leda_sphere_map.h:#define CGAL_NEF_DEBUG 211
-include/CGAL/Nef_3/Minkowski/Nef_S2/Gausian_map.h: CGAL_NEF_DEBUG 223
-include/CGAL/Nef_3/Minkowski/Nef_S2/SM_walls.h: CGAL_NEF_DEBUG 227
-include/CGAL/Nef_3/Minkowski/Nef_3/Single_wall_creator.h: CGAL_NEF_DEBUG 229
-include/CGAL/Nef_3/Minkowski/Nef_3/Ray_hit_generator.h: CGAL_NEF_DEBUG 233
-include/CGAL/Nef_3/Minkowski/Nef_3/Ray_hit_generator2.h: CGAL_NEF_DEBUG 233
-include/CGAL/Nef_3/Minkowski/Nef_3/is_reflex_sedge.h: CGAL_NEF_DEBUG 239
-241
-251
-257
-263
-269
-271
-277
-281 
-283
-include/CGAL/Nef_3/SNC_io_parser.bak:#define CGAL_NEF_DEBUG 293
-include/CGAL/Nef_S2/Normalizing.h:#define CGAL_NEF_DEBUG 307
-311,313,317,331,337,347,349,353,359,
-367,373,379,383,389,397,401,409,419,421,431,433,
-439,443,449,457,461,463,467,479,487,491,499,
-include/CGAL/Nef_3/K3_tree.h:#define CGAL_NEF_DEBUG 503
-include/CGAL/Nef_3/SNC_point_locator.h:#define CGAL_NEF_DEBUG 509
diff --git a/Nef_2/dont_submit b/Nef_2/dont_submit
deleted file mode 100644
index eb8ea4d2c65..00000000000
--- a/Nef_2/dont_submit
+++ /dev/null
@@ -1 +0,0 @@
-debug.txt