more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE8ae2f8ebc373: discontinued somewhat pointless "integrity test of build_history": it fails…
- Branches
- Unknown
- Tags