[jetty9] 18/99: Remove useless d/libjetty8-extra-java.dirs

Jakub Adam xhaakon-guest at moszumanska.debian.org
Fri Oct 9 21:20:47 UTC 2015


This is an automated email from the git hooks/post-receive script.

xhaakon-guest pushed a commit to branch master
in repository jetty9.

commit 895ce626f7d0f6996798e3fcd7809548a1d4ed84
Author: Jakub Adam <jakub.adam at ktknet.cz>
Date:   Tue May 1 13:32:58 2012 +0200

    Remove useless d/libjetty8-extra-java.dirs
---
 debian/libjetty8-extra-java.dirs | 1 -
 1 file changed, 1 deletion(-)

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

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jetty9.git



More information about the pkg-java-commits mailing list