diff options
| author | Miroslav Grepl <mgrepl@redhat.com> | 2014-04-11 09:37:53 +0200 |
|---|---|---|
| committer | Miroslav Grepl <mgrepl@redhat.com> | 2014-04-11 09:37:53 +0200 |
| commit | 47be9ff57e72906660bb62a515222f482131e1fb (patch) | |
| tree | 2cb0ef0ba48d73b1df7cc0915754a17e19464bb6 /debian/libsetools-dev.install | |
| download | setools-master.tar.gz setools-master.tar.xz setools-master.zip | |
Create setools-3.3.7 git repomaster
Diffstat (limited to 'debian/libsetools-dev.install')
| -rw-r--r-- | debian/libsetools-dev.install | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/libsetools-dev.install b/debian/libsetools-dev.install new file mode 100644 index 0000000..369954d --- /dev/null +++ b/debian/libsetools-dev.install @@ -0,0 +1,7 @@ +/usr/lib/*.so +/usr/lib/pkgconfig/* +/usr/include/apol/* +/usr/include/poldiff/* +/usr/include/qpol/* +/usr/include/seaudit/* +/usr/include/sefs/* |