Diffusion Isabelle 122615955fc0

save 45 MB by excluding rlwrap and thus perl;
122615955fc0
Actions

Tags

None

Subscribers

None

Description

save 45 MB by excluding rlwrap and thus perl;

Details

Provenance

Authored on

Parents

rISABELLEdd18b59aded7: NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE122615955fc0: save 45 MB by excluding rlwrap and thus perl;.Oct 7 2021, 11:21 PM

Changes (3)

Path

Size

Admin/

components/

bundled-windows

components.sha1

src/

Pure/

Admin/

build_cygwin.scala

rISABELLE122615955fc0

Admin/components/bundled-windows

Loading...

Admin/components/components.sha1

Loading...

src/Pure/Admin/build_cygwin.scala

Loading...