diff --git a/Benchmark_instances/dont_submit b/Benchmark_instances/dont_submit index b81babb87ff..e440ac75904 100644 --- a/Benchmark_instances/dont_submit +++ b/Benchmark_instances/dont_submit @@ -1,4 +1,2 @@ -description.txt developer_scripts -maintainer out_html diff --git a/Circular_kernel_2/dont_submit b/Circular_kernel_2/dont_submit index ff30c2ba596..eea776077d3 100644 --- a/Circular_kernel_2/dont_submit +++ b/Circular_kernel_2/dont_submit @@ -4,7 +4,7 @@ Benchmarks include/CGAL/Filtered_hexagon_circular_kernel_2.h include/CGAL/Filtered_hexagon_circular_kernel_2/ Arr_circular_arc_traits_checker.h -Arr_circular_arc_traits_tracer.h +Arr_circular_arc_traits_tracer.h Lazy_circular_kernel_2.h Lazy_circular_kernel_constructions.h Lazy_Circular_kernel_arrangement.cpp