Diffusion Isabelle 5556ae257df9

proper executable file;
5556ae257df9
Actions

Tags

None

Subscribers

None

Description

proper executable file;

Details

Provenance

Authored on

Parents

rISABELLE5e7ba6aa85d7: more documentation: odd option for special situations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5556ae257df9: proper executable file;.Jan 16 2020, 5:04 PM

Changes (2)

Path

Size

Admin/

components/

components.sha1

rISABELLE5556ae257df9

Admin/components/components.sha1

Loading...

Admin/components/windows

Loading...