Diffusion Isabelle 7cdeed5dc96d

more robust treatment of rsync on macOS (see also 96fb1f9a4042);
7cdeed5dc96d
Actions

Tags

None

Subscribers

None

Description

more robust treatment of rsync on macOS (see also 96fb1f9a4042);

Details

Provenance

Authored on

Parents

rISABELLE2bf2cc3aca84: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7cdeed5dc96d: more robust treatment of rsync on macOS (see also 96fb1f9a4042);.Jun 7 2022, 7:15 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

sync_repos.scala

rISABELLE7cdeed5dc96d

src/Pure/Admin/sync_repos.scala

Loading...