| 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	
 |