HomeIsabelle/Phabricator

removed obsolete material: already covered by documentation or tools;

Authored by makarius.

Description

removed obsolete material: already covered by documentation or tools;

Details

Committed
makariusNov 13 2019, 5:34 PM
Parents
rISABELLE8c1c717a830b: configure SSH hosting via "isabelle phabricator_setup_ssh";
Branches
Unknown
Tags
Unknown