tune the name of the new option in config dialog
Description
Description
Details
Details
- Committed
mgallien Feb 14 2020, 6:23 AM - Parents
- R255:fdc6436c4bdc: clip the list of paths such that they do not cover other UI space
- Branches
- Unknown
- Tags
tune the name of the new option in config dialog
tune the name of the new option in config dialog
Authored by mgallien on Feb 14 2020, 6:16 AM.
Tags
None
Subscribers
None