From ba887064cedad472190f10665fb3433c81ee8d53 Mon Sep 17 00:00:00 2001
From: Reuben Thomas <rrt@sc3d.org>
Date: Wed, 1 Oct 2014 15:38:56 +0100
Subject: Remove unused and unuseful -dev package

---
 debian/plptools-dev.docs | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 debian/plptools-dev.docs

(limited to 'debian/plptools-dev.docs')

diff --git a/debian/plptools-dev.docs b/debian/plptools-dev.docs
deleted file mode 100644
index 48b790a..0000000
--- a/debian/plptools-dev.docs
+++ /dev/null
@@ -1,3 +0,0 @@
-etc/psidump*
-etc/*magic*
-etc/ttytap.c
-- 
cgit v1.2.3