Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned;
  2. tuned messages -- facilitate copy-paste;
Changeset 63985:4effb93c2a09 by wenzelm:
tuned;
The file was modified README_REPOSITORY (diff)
Changeset 63984:6ba87450894d by wenzelm:
tuned messages -- facilitate copy-paste;
The file was modified src/Pure/Tools/build_stats.scala (diff)