Skip to content
Success

Changes

Summary

  1. proper order;
  2. clarified README;
Changeset 67749:08dc76bf6400 by wenzelm:
proper order;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 67748:94a8fddc1e7c by wenzelm:
clarified README;
The file was modified Admin/cronjob/README (diff)
The file was removedAdmin/build_log/README