Summary
- clarified notion of unknown files: ignore files outside of a Mercurial repository;
- more balanced AFP partitioning;
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Admin/afp.scala (diff) |