[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.5.2+dfsg-1-12-gff5837d

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit 39320f4b2aa3c165daeb774a0e91853024818a4c
Merge: 24ae624f1e4f1b736419ffa32998a6ef89e6e1f3 94208a6eff827c1b96502dc1bcee303c616bd8f0
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Sun Mar 24 20:43:44 2013 +0100

    Merge tag 'upstream/5.0.0+dfsg'
    
    Upstream version 5.0.0+dfsg


-- 
jedit - Java plugin-based editor for programmers