[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/5.0.0+dfsg-1-4-gc903924

[tony mancill]

The following commit has been merged in the master branch:
commit fe6444d27d0a178c30abc143c3836476fe3275cd
Author: tony mancill <tmancill at debian.org>
Date:   Sun Jun 2 07:39:30 2013 -0700

    remove DMUA flag; bump standards version

diff --git a/debian/control b/debian/control
index 1db9ef4..f265221 100644
--- a/debian/control
+++ b/debian/control
@@ -21,8 +21,7 @@ Build-Depends: ant,
                quilt (>= 0.46-7~),
                xsltproc
 Build-Depends-Indep: default-jdk
-Standards-Version: 3.9.3
-DM-Upload-Allowed: yes
+Standards-Version: 3.9.4
 Vcs-Git: git://git.debian.org/pkg-java/jedit.git
 Vcs-Browser: http://git.debian.org/?p=pkg-java/jedit.git
 Homepage: http://www.jedit.org/

-- 
jedit - Java plugin-based editor for programmers