From 47be9ff57e72906660bb62a515222f482131e1fb Mon Sep 17 00:00:00 2001 From: Miroslav Grepl Date: Fri, 11 Apr 2014 09:37:53 +0200 Subject: Create setools-3.3.7 git repo --- debian/libsetools-dev.install | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 debian/libsetools-dev.install (limited to 'debian/libsetools-dev.install') 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/* -- cgit