Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature: avoid problems with scala3;
  2. proper indentation;
Changeset 75447:d1417d9c6deb by wenzelm:
tuned signature: avoid problems with scala3;
The file was modified src/Tools/jEdit/src/monitor_dockable.scala (diff)
Changeset 75446:691ed9f41729 by wenzelm:
proper indentation;
The file was modified src/Pure/Tools/debugger.scala (diff)