Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more output;
  2. clarified;
  3. tuned output;
Changeset 65796:7d1c5150af70 by wenzelm:
more output;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65795:c60b1a2c3abc by wenzelm:
clarified;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65794:a880f41a8d0f by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_status.scala (diff)