| Author | Committer | Branch | Timestamp | Parent | 
| wmayer | wmayer | master | 2016-10-16 08:14:29 | master 91f94443 | 
|
| Affected Issues | 0002733: Preferences dialog box | 
|
| Changeset | issue 0002733: Preferences dialog box | 
| mod - src/Gui/DlgPreferences.ui | Diff	
	
		File | 
| mod - src/Gui/DlgPreferencesImp.cpp | Diff	
	
		File |