Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust, notably on Windows;
Changeset 64770:1ddc262514b8 by wenzelm:
more robust, notably on Windows;
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)