[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.5.2+dfsg-1-12-gff5837d
Gabriele Giacone
1o5g4r8o at gmail.com
Sun Mar 24 20:45:35 UTC 2013
The following commit has been merged in the master branch:
commit 963fdb465f333843d19e7a22b29df1a4f28ba2e5
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date: Sat Jun 16 09:55:49 2012 +0000
whatsnew is unversioned now.
diff --git a/debian/jedit.doc-base.3 b/debian/jedit.doc-base.3
index 9ab233e..382a316 100644
--- a/debian/jedit.doc-base.3
+++ b/debian/jedit.doc-base.3
@@ -1,9 +1,9 @@
Document: jedit-news
Title: jEdit NEWS
Author: Contributors <jedit-devel at lists.sourceforge.net>
-Abstract: What's New in jEdit 4.5
+Abstract: What's New in jEdit
Section: Editors
Format: HTML
-Index: /usr/share/doc/jedit/news45/index.html
-Files: /usr/share/doc/jedit/news45/*.html
+Index: /usr/share/doc/jedit/whatsnew/index.html
+Files: /usr/share/doc/jedit/whatsnew/*.html
--
jedit - Java plugin-based editor for programmers
More information about the pkg-java-commits
mailing list