HomeIsabelle/Phabricator

removed obsolete material -- already covered by "system" manual;

Authored by makarius.

Description

removed obsolete material -- already covered by "system" manual;
tuned;

Details

Committed
makariusNov 12 2019, 10:16 PM
Parents
rISABELLE1159e52e5b05: tuned;
Branches
Unknown
Tags
Unknown