# HG changeset patch
# User wenzelm
# Date 1246807574 -7200
# Node ID f6f124c9b63b98ba3a41cecb3504eea3ac7e94d5
# Parent  1f7b410f66e4c37c6a0f0a165d719180e7055b63
updated to jEdit 4.3pre17;

diff -r 1f7b410f66e4 -r f6f124c9b63b src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Sun Jul 05 17:20:28 2009 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sun Jul 05 17:26:14 2009 +0200
@@ -13,10 +13,10 @@
   http://blogtrader.net/dcaoyuan/category/NetBeans
   http://wiki.netbeans.org/Scala
 
-* jEdit 4.3pre16
+* jEdit 4.3pre17
   http://www.jedit.org/
 
-  Netbeans Project "jEdit": install official sources as ./contrib/jEdit
+  Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
 
 * jEdit plugins:
     Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar