From b2b7de8514f437277ec4900b07530c50cbad89e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Tue, 12 Nov 2024 09:06:47 +0100 Subject: [PATCH] remove deps --- Polygon_repair/package_info/Polygon_repair/dependencies | 2 -- 1 file changed, 2 deletions(-) diff --git a/Polygon_repair/package_info/Polygon_repair/dependencies b/Polygon_repair/package_info/Polygon_repair/dependencies index fe4e50b3c29..517729e1d03 100644 --- a/Polygon_repair/package_info/Polygon_repair/dependencies +++ b/Polygon_repair/package_info/Polygon_repair/dependencies @@ -21,5 +21,3 @@ Stream_support TDS_2 Triangulation_2 BGL -Homogeneous_kernel -Kernel_d