src/Tools/jEdit/README_BUILD
changeset 47992 7700f0e9618c
parent 47745 de249b5ae6e2
child 48826 b19ba23e70c5
--- a/src/Tools/jEdit/README_BUILD	Thu May 24 18:21:54 2012 +0200
+++ b/src/Tools/jEdit/README_BUILD	Thu May 24 21:46:11 2012 +0200
@@ -6,7 +6,7 @@
 
   (experimental support for JDK/OpenJDK 1.7, but not OpenJDK 1.6)
 
-* Scala 2.9.2 (or 2.8.2.final)
+* Scala 2.9.2
   http://www.scala-lang.org
 
   (experimental support for Scala 2.10.x milestones)