# HG changeset patch
# User wenzelm
# Date 1224497108 -7200
# Node ID 9f9e1fe156a87219001e9c7755076d023cf059d8
# Parent  a9b94b8f545e8840e50aa1663e0090a056ee7b2f
fixed jEdit version;

diff -r a9b94b8f545e -r 9f9e1fe156a8 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Mon Oct 20 11:44:59 2008 +0200
+++ b/src/Tools/jEdit/README_BUILD	Mon Oct 20 12:05:08 2008 +0200
@@ -12,7 +12,7 @@
   http://wiki.netbeans.org/Scala
   http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
 
-* jEdit 1.4.3pre14 or similar
+* jEdit 4.3pre14 or similar
   http://www.jedit.org/
   Netbeans Library "jEdit" = .../jedit.jar