diff options
| author | Fritz Elfert <felfert@to.com> | 2002-07-14 02:54:13 +0000 |
|---|---|---|
| committer | Fritz Elfert <felfert@to.com> | 2002-07-14 02:54:13 +0000 |
| commit | 000a4885669921b160ba31328fb43842fcd3c6e1 (patch) | |
| tree | b3e32ca0ca37c5d3feff0a4edfa785b2d2f9cf39 /debian/plptools.docs | |
| parent | 94469aaba04a168f95a42df27476e1c3a98f0799 (diff) | |
| download | plptools-000a4885669921b160ba31328fb43842fcd3c6e1.tar.gz plptools-000a4885669921b160ba31328fb43842fcd3c6e1.tar.bz2 plptools-000a4885669921b160ba31328fb43842fcd3c6e1.zip | |
- Debian packaging based on John's package of plptools-0.10
Diffstat (limited to 'debian/plptools.docs')
| -rw-r--r-- | debian/plptools.docs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/plptools.docs b/debian/plptools.docs new file mode 100644 index 0000000..272bb94 --- /dev/null +++ b/debian/plptools.docs @@ -0,0 +1,4 @@ +README +TODO +CHANGES +ChangeLog |