diff options
| author | Reuben Thomas <rrt@sc3d.org> | 2014-07-06 23:54:25 +0100 |
|---|---|---|
| committer | Reuben Thomas <rrt@sc3d.org> | 2014-07-06 23:54:25 +0100 |
| commit | 07eb049b002f2144e9f5c73f08865831d7fb5c89 (patch) | |
| tree | a4e1fc52f78ce5115db92fd4fe17c1660ff0d47d /debian/plptools-dev.files | |
| parent | ff0a91874d2fc99564eea29ff31f075296d69fb0 (diff) | |
| download | plptools-07eb049b002f2144e9f5c73f08865831d7fb5c89.tar.gz plptools-07eb049b002f2144e9f5c73f08865831d7fb5c89.tar.bz2 plptools-07eb049b002f2144e9f5c73f08865831d7fb5c89.zip | |
Add Debianization files from Debian package 1.0.9-2.4
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 |