changeset 46997 | 395b7277ed76 |
parent 46913 | 3444a24dc4e9 |
child 47158 | d317a71f24d5 |
--- a/src/Tools/jEdit/README_BUILD Sat Mar 17 17:36:10 2012 +0100 +++ b/src/Tools/jEdit/README_BUILD Sat Mar 17 17:44:29 2012 +0100 @@ -9,6 +9,8 @@ * Scala 2.8.2.final or 2.9.1-1 http://www.scala-lang.org + (experimental support for Scala 2.10.x milestones) + * Auxiliary jedit_build component http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz