Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper options;
  2. tuned options;
Changeset 67876:cc4832285c38 by wenzelm:
proper options;
The file was modified lib/Tools/client (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67875:641315ebed02 by wenzelm:
tuned options;
The file was modified src/Pure/Tools/server.scala (diff)