# HG changeset patch
# User wenzelm
# Date 1273497537 -7200
# Node ID 80ced7c7505f1aec29e5325bb2c5d4f19d004d10
# Parent  0499d05663dd5e09ad88744066414b163134b6cd
updated to jedit 4.3.2;

diff -r 0499d05663dd -r 80ced7c7505f src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Mon May 10 15:01:25 2010 +0200
+++ b/src/Tools/jEdit/README_BUILD	Mon May 10 15:18:57 2010 +0200
@@ -13,7 +13,7 @@
   http://blogtrader.net/dcaoyuan/category/NetBeans
   http://wiki.netbeans.org/Scala
 
-* jEdit 4.3.1 (final)
+* jEdit 4.3.1 or 4.3.2
   http://www.jedit.org/
   Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.