# HG changeset patch
# User wenzelm
# Date 1262175706 -3600
# Node ID 4c875ed8b248f121d9fbb14f307ada813a9ad9b2
# Parent  958634b374c0850932492a8089686d73f3e852fa
updated;

diff -r 958634b374c0 -r 4c875ed8b248 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Tue Dec 29 22:05:23 2009 +0100
+++ b/src/Tools/jEdit/README_BUILD	Wed Dec 30 13:21:46 2009 +0100
@@ -13,7 +13,7 @@
   http://blogtrader.net/dcaoyuan/category/NetBeans
   http://wiki.netbeans.org/Scala
 
-* jEdit 4.3pre18
+* jEdit 4.3 (final)
   http://www.jedit.org/
 
   Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.