Summary
- tuned;
- tuned spelling;
- support direct rsync from Hg_Sync result directory (usually requires option -d "~~/dirs");
- clarified signature;
- more general dirs for Sync.sync;
- tuned whitespace (amending beb4ee344c22);
- clarified signature (see also be0ab4b94c62 and c41791ad75c3);
The file was modified | src/Pure/Build/build_cluster.scala (diff) |
The file was modified | src/Pure/Build/build_cluster.scala (diff) |
The file was modified | src/Pure/Build/build_cluster.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/Admin/build_history.scala (diff) |
The file was modified | src/Pure/Build/build.scala (diff) |
The file was modified | src/Pure/Build/build_cluster.scala (diff) |
The file was modified | src/Pure/Tools/sync.scala (diff) |
The file was modified | ROOTS (diff) |
The file was modified | src/Pure/Build/sessions.scala (diff) |
The file was modified | src/Pure/General/file.scala (diff) |