[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.4.2+dfsg-1-23-g998e08e

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit 93cfa801b97140a3e941dec1cd12a7ad8e0b7e3d
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Fri Jun 15 14:35:23 2012 +0200

    Fix d/watch.

diff --git a/debian/watch b/debian/watch
index ffdf152..f26bc6f 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,4 @@
 version=3
-opts="uversionmangle=s/([0-9]*)\.([0-9]*)(pre)([0-9]*)/$1.$2/,\
+opts="uversionmangle=s/pre/~pre/,\
 dversionmangle=s/\+dfsg//" \
 http://sf.net/jedit/jedit(.*)source.tar.bz2

-- 
jedit - Java plugin-based editor for programmers