clarified remote vs. local build_history: operate on hg_sync directory instead of repository;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE292d7a9dc8a3: proper operation on String, not Path;
- Branches
- Unknown
- Tags