From ba887064cedad472190f10665fb3433c81ee8d53 Mon Sep 17 00:00:00 2001 From: Reuben Thomas Date: Wed, 1 Oct 2014 15:38:56 +0100 Subject: Remove unused and unuseful -dev package --- debian/plptools-dev.install | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 debian/plptools-dev.install (limited to 'debian/plptools-dev.install') diff --git a/debian/plptools-dev.install b/debian/plptools-dev.install deleted file mode 100644 index 27983a2..0000000 --- a/debian/plptools-dev.install +++ /dev/null @@ -1,3 +0,0 @@ -usr/lib/*/libplp.so -usr/lib/*/libplp.a -usr/include/plptools -- cgit v1.2.3