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
|