diff options
Diffstat (limited to 'debian/plptools-dev.docs')
-rw-r--r-- | debian/plptools-dev.docs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/plptools-dev.docs b/debian/plptools-dev.docs deleted file mode 100644 index 9d002f6..0000000 --- a/debian/plptools-dev.docs +++ /dev/null @@ -1,4 +0,0 @@ -etc/psidump* -etc/*magic* -etc/ttytap.c -doc/api |