| Author |
Committer |
Branch |
Timestamp |
Parent |
| Kunda1 |
yorik |
master |
2019-10-10 18:59:27 |
master 891f8953 |
|
Changeset |
AddonManager: tooltips and minor code formatting |
| mod - src/Mod/AddonManager/AddonManagerOptions.ui |
Diff
File
|
| mod - src/Mod/AddonManager/addonmanager_workers.py |
Diff
File
|