[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.4.2+dfsg-1-23-g998e08e
Gabriele Giacone
1o5g4r8o at gmail.com
Sat Jun 16 02:36:58 UTC 2012
The following commit has been merged in the master branch:
commit cd6c31966d437481bc000bcae75237ae7216edc3
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date: Fri Jun 15 14:06:21 2012 +0000
Add d/jedit.debhelper.log removal.
diff --git a/debian/rules b/debian/rules
index f1f9b15..598b933 100755
--- a/debian/rules
+++ b/debian/rules
@@ -55,7 +55,7 @@ override_dh_auto_clean:
-dh_quilt_unpatch
-mv debian/patches/series debian/patches/series.noauto
ant clean-all
- rm -f debian/jedit.menu debian/jedit.desktop
+ rm -f debian/jedit.menu debian/jedit.desktop debian/jedit.debhelper.log
# bsh: clean
rm -rf org/gjt/sp/jedit/bsh bsh
--
jedit - Java plugin-based editor for programmers
More information about the pkg-java-commits
mailing list