| Author |
Committer |
Branch |
Timestamp |
Parent |
| yorik |
yorik |
master |
2019-07-12 19:45:31 |
master ec004992 |
|
Changeset |
AddonManager: Better support of non-github addons |
| mod - src/Mod/AddonManager/addonmanager_utilities.py |
Diff
File
|
| mod - src/Mod/AddonManager/addonmanager_workers.py |
Diff
File
|