Merge branch 'java7'

rjolly · Jul 25, 2020 · 073cee2 · 073cee2
2 parents b35ec79 + 61234df
commit 073cee2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/init.js b/init.js
@@ -464,7 +464,7 @@ function jarlister(path, out) {
     Packages.scala.tools.nsc.JarLister$.MODULE$.process(opts.concat([pathToFile(path)]));
 }
 
-// requires net.sourceforge.jscl-meditor#txt2xhtml;4.0
+// requires net.sourceforge.jscl-meditor#txt2xhtml;4.1
 
 function txt2xhtml(srcDir, destDir, stylesheet, feed, icon) {
     if (srcDir == undefined) {