diff options
| author | Reuben Thomas <rrt@sc3d.org> | 2007-12-09 19:52:40 +0000 |
|---|---|---|
| committer | Reuben Thomas <rrt@sc3d.org> | 2007-12-09 19:52:40 +0000 |
| commit | c955b685baf27df2e3d4145f0337bcf8077789bb (patch) | |
| tree | 6ab1d6e87e05c649c8bc91e826ac37fd894605d9 /debian/plptools-dev.docs | |
| parent | 600afc7ff1df3aedc69dd34d7a3d8c0a40b10a82 (diff) | |
| download | plptools-c955b685baf27df2e3d4145f0337bcf8077789bb.tar.gz plptools-c955b685baf27df2e3d4145f0337bcf8077789bb.tar.bz2 plptools-c955b685baf27df2e3d4145f0337bcf8077789bb.zip | |
Remove Debian files
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 |