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-dev.files | |
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-dev.files')
-rw-r--r-- | debian/plptools-dev.files | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/plptools-dev.files b/debian/plptools-dev.files new file mode 100644 index 0000000..25d4b2f --- /dev/null +++ b/debian/plptools-dev.files @@ -0,0 +1,3 @@ +usr/lib/libplp.so +usr/lib/libplp.a +usr/include/plptools |