Diffusion Isabelle c839b84ee66f

more modular shell script;
c839b84ee66f
Actions

Tags

None

Subscribers

None

Description

more modular shell script;

Details

Provenance

Authored on

Parents

rISABELLE86ace3c45837: more uniform options for "curl", following lib/Tools/components;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc839b84ee66f: more modular shell script;.Jan 23 2023, 3:15 PM

Changes (4)

Path

Size

Tools/

rISABELLEc839b84ee66f

lib/Tools/components

Loading...

lib/scripts/download_file

Loading...