The following commit has been merged in the master branch:
commit 002f06fe57b05c947ed176eed520a5f8fa1daa81
Author: Gabriele Giacone <[email protected]>
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
_______________________________________________
pkg-java-commits mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
