updated version information;
authorwenzelm
Thu, 05 Jan 2012 10:59:18 +0100
changeset 46118 e99ca055c91d
parent 46117 edd50ec8d471
child 46119 0d7172a7672c
child 46162 1148fab5104e
updated version information;
src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html	Wed Jan 04 15:41:18 2012 +0100
+++ b/src/Tools/jEdit/README.html	Thu Jan 05 10:59:18 2012 +0100
@@ -193,7 +193,7 @@
 </ul>
 
 
-<h2>Known problems with Mac OS X</h2>
+<h2>Known problems with Mac OS X (Java 1.6)</h2>
 
 <ul>
 
@@ -228,7 +228,7 @@
   of the jEdit text area.  Always use official JRE 1.6.x from Oracle
   or Apple.</li>
 
-<li>jEdit 4.4.x on OpenJDK is generally not supported.</li>
+<li>jEdit 4.4.x on OpenJDK 1.6.x is generally not supported.</li>
 
 </ul>