more robust $TMPDIR on windows, e.g. for repository snapshot: do not depend on $TEMP_WINDOWS provided by official distribution;a
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf926602640fe: more portable: it really is the Cygwin $HOME not the Windows $USER_HOME;
- Branches
- Unknown
- Tags