diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2013-09-19 15:50:19 +0400 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2013-09-19 15:50:19 +0400 |
| commit | b5719ba713bb64ed05bdcf4cdcb79a1fa2186430 (patch) | |
| tree | d3c19076841eada93889d808333b0d69b3989bbc /debian/libpool-dev.install | |
| parent | c76b25823acc92e232fa0a56389f9d144e51ce97 (diff) | |
| download | libpool-b5719ba713bb64ed05bdcf4cdcb79a1fa2186430.tar.gz | |
Packaged v1.0HEADdyson/1.0-1master
Diffstat (limited to 'debian/libpool-dev.install')
| -rw-r--r-- | debian/libpool-dev.install | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/libpool-dev.install b/debian/libpool-dev.install new file mode 100644 index 0000000..afb6cc5 --- /dev/null +++ b/debian/libpool-dev.install @@ -0,0 +1,3 @@ +usr/include/pool.h +usr/lib/*/libpool.so +usr/lib/*/libpool.a |