Diffusion Isabelle 8e9312e6a6d9

clarified generated settings;
8e9312e6a6d9
Actions

Tags

None

Subscribers

None

Description

clarified generated settings;

Details

Provenance

Authored on

Parents

rISABELLE0d3b623db61a: proper packages for mercurial_setup;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8e9312e6a6d9: clarified generated settings;.Oct 31 2020, 11:59 AM

Changes (1)

Path

Size

lib/

Tools/

rISABELLE8e9312e6a6d9

lib/Tools/components

Loading...