Added ability to change the repo name property in the bookmark list when viewing the repo properties. The name is effectively an alias which you can change to be more descriptive.
Description
Description
Details
Details
- Provenance
Martin Berriman Authored on Nov 11 2020, 4:13 AM - Parents
- R77:ea699433e696: wip: submodule window
- Branches
- Unknown
- Tags