Diffusion Isabelle f026a9a0a43f

proper Admin script, outside the settings environment;
f026a9a0a43f
Actions

Tags

None

Subscribers

None

Description

proper Admin script, outside the settings environment;

Details

Provenance

Authored on

Parents

rISABELLEa33e5298aee6: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf026a9a0a43f: proper Admin script, outside the settings environment;.Mar 28 2021, 11:35 AM

Changes (5)

Path

Size

	Admin/
	lib/	Tools/

rISABELLEf026a9a0a43f

Admin/setup

Loading...

lib/Tools/setup

Loading...