The following commit has been merged in the master branch:
commit 895ce626f7d0f6996798e3fcd7809548a1d4ed84
Author: Jakub Adam <jakub.a...@ktknet.cz>
Date: Tue May 1 13:32:58 2012 +0200
Remove useless d/libjetty8-extra-java.dirs
diff --git a/debian/libjetty8-extra-java.dirs b/debian/libjetty8-extra-java.dirs
deleted file mode 100644
index 726d83f..0000000
--- a/debian/libjetty8-extra-java.dirs
+++ /dev/null
@@ -1 +0,0 @@
-usr/share/jetty8/lib/ext
--
jetty8 packaging
_______________________________________________
pkg-java-commits mailing list
pkg-java-comm...@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
