Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization;
  2. tuned output;
Changeset 66911:d122c24a93d6 by wenzelm:
misc tuning and modernization;
The file was modified Admin/PLATFORMS (diff)
Changeset 66910:20d61ffa9867 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_release.scala (diff)