Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. process ROOT files only once, which allows duplicate (or overlapping) session root directories;
Changeset 66764:006deaf5c3dc by wenzelm:
process ROOT files only once, which allows duplicate (or overlapping) session root directories;
The file was modified NEWS (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)