Summary
- tuned;
- clarified queue ordering: take session descendants into account, notably for "slow" AFP sessions;
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |