Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified notion of unknown files: ignore files outside of a Mercurial repository;
  2. more balanced AFP partitioning;
Changeset 67782:7e223a05e6d8 by wenzelm:
clarified notion of unknown files: ignore files outside of a Mercurial repository;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 67781:a8a3f73623e7 by wenzelm:
more balanced AFP partitioning;
The file was modified src/Pure/Admin/afp.scala (diff)