# HG changeset patch
# User wenzelm
# Date 1319304133 -7200
# Node ID 7f6c85421fa949ed79f6468fd10342823b11bc81
# Parent  c149b61bc37254fe637d5a11b96717d4a6a1b9ca
experimental support for Scala 2.9.1.final;

diff -r c149b61bc372 -r 7f6c85421fa9 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Sat Oct 22 19:15:32 2011 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sat Oct 22 19:22:13 2011 +0200
@@ -4,7 +4,7 @@
 * Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_27
   http://www.oracle.com/technetwork/java/javase/downloads/index.html
 
-* Scala 2.8.2.final
+* Scala 2.8.2.final (experimental support for 2.9.1.final)
   http://www.scala-lang.org
 
 * Auxiliary jedit_build component