Diffusion Isabelle 27dd3a3fcc54

removed junk (amending 236e43c8bb5b);
27dd3a3fcc54
Actions

Tags

None

Subscribers

None

Description

removed junk (amending 236e43c8bb5b);

Details

Provenance

Authored on

Parents

rISABELLEbe0b9396604e: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE27dd3a3fcc54: removed junk (amending 236e43c8bb5b);.Mar 26 2023, 3:47 PM

Changes (1)

Path

Size

etc/

rISABELLE27dd3a3fcc54

etc/options

Loading...