eliminated pointless option -T: it merely tests ssh config of root, which is not required later;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEaba1f84a7160: slicker proofs (used in CPP paper)
- Branches
- Unknown
- Tags