HomeIsabelle/Phabricator

provide USER_HOME, such that symbolic Path.explode("~") can be used remotely;

Description

provide USER_HOME, such that symbolic Path.explode("~") can be used remotely;

Details

Provenance
makariusAuthored on
Parents
rISABELLEdfb63036c4f6: tuned signature;
Branches
Unknown
Tags
Unknown