Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper check wrt. distinct entry dates;
Changeset 66254:6b5684ee07d9 by wenzelm:
proper check wrt. distinct entry dates;
The file was modified src/Pure/Admin/build_status.scala (diff)