Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. support "rsync --chmod --chown" via Rsync.Context;
  2. tuned;
Changeset 80234:cce5670be9f9 by wenzelm:
support "rsync --chmod --chown" via Rsync.Context;
The file was modified src/Pure/General/rsync.scala
Changeset 80233:4ac6324a651b by wenzelm:
tuned;
The file was modified src/Pure/General/rsync.scala