Diffusion Isabelle 8ddf6728ad80

more self-contained support for macOS;
8ddf6728ad80
Actions

Tags

None

Subscribers

None

Description

more self-contained support for macOS;

Details

Provenance

Authored on

Parents

rISABELLE629868f96c81: misc tuning and clarification;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8ddf6728ad80: more self-contained support for macOS;.Apr 14 2021, 2:28 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

lib/

scripts/

rISABELLE8ddf6728ad80

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

lib/scripts/getfunctions

Loading...