Diffusion Isabelle d042947e47a3

include openssh for rsync (see also a1c7829ac2de);
d042947e47a3
Actions

Tags

None

Subscribers

None

Description

include openssh for rsync (see also a1c7829ac2de);

Details

Provenance

Authored on

Parents

rISABELLE2a052820523d: provide naproche-20221002;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd042947e47a3: include openssh for rsync (see also a1c7829ac2de);.Oct 2 2022, 4:10 PM

makarius mentioned this in rISABELLEd704efeb01db: proper cygwin component (see d042947e47a3).Oct 2 2022, 5:27 PM

Changes (2)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

Admin/

build_cygwin.scala

rISABELLEd042947e47a3

Admin/components/components.sha1

Loading...

src/Pure/Admin/build_cygwin.scala

Loading...