From da24fb59ec9d09ffcbe642793a3c562f5ed1b8f5 Mon Sep 17 00:00:00 2001 From: Jochen Sprickerhof Date: Tue, 18 Aug 2020 17:31:02 +0200 Subject: [PATCH] Drop dev link (transition is done) --- debian/libpcl-dev.links | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/libpcl-dev.links diff --git a/debian/libpcl-dev.links b/debian/libpcl-dev.links deleted file mode 100644 index 11bee636..00000000 --- a/debian/libpcl-dev.links +++ /dev/null @@ -1 +0,0 @@ -/usr/include/pcl-1.11 /usr/include/pcl-1.10 -- 2.30.2