[ppl] 03/03: Remove empty directories from packages.
Tobias Hansen
thansen at moszumanska.debian.org
Sat Nov 12 19:09:02 UTC 2016
This is an automated email from the git hooks/post-receive script.
thansen pushed a commit to branch master
in repository ppl.
commit 609d9026ef9e48626acdfe8d4d9218f9173e1d38
Author: Tobias Hansen <thansen at broeselmaschine.fc.up.pt>
Date: Sat Nov 12 17:10:44 2016 +0000
Remove empty directories from packages.
---
debian/libppl-dev.dirs | 2 --
debian/libppl-swi.dirs | 1 -
2 files changed, 3 deletions(-)
diff --git a/debian/libppl-dev.dirs b/debian/libppl-dev.dirs
index 4141450..e43b95c 100644
--- a/debian/libppl-dev.dirs
+++ b/debian/libppl-dev.dirs
@@ -1,3 +1 @@
usr/include
-usr/bin
-usr/share/man/man1
diff --git a/debian/libppl-swi.dirs b/debian/libppl-swi.dirs
deleted file mode 100644
index 4422028..0000000
--- a/debian/libppl-swi.dirs
+++ /dev/null
@@ -1 +0,0 @@
-usr/lib/ppl
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git
More information about the debian-science-commits
mailing list