[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 002f06fe57b05c947ed176eed520a5f8fa1daa81
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Sat Jun 16 10:18:09 2012 +0000

    Add keymaps.

diff --git a/debian/jedit.install b/debian/jedit.install
index 4944e55..70a6411 100644
--- a/debian/jedit.install
+++ b/debian/jedit.install
@@ -4,5 +4,6 @@ build/modes		usr/share/jedit
 build/macros		usr/share/jedit
 build/properties	usr/share/jedit
 build/startup		usr/share/jedit
+build/keymaps		usr/share/jedit
 
 debian/lintian/jedit	usr/share/lintian/overrides

-- 
jedit - Java plugin-based editor for programmers