Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. store session sources stamp;
Changeset 66913:7cdd4d59e95c by wenzelm:
store session sources stamp;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)