- Anonymous
| Author | Committer | Branch | Timestamp | Parent | 
|---|---|---|---|---|
| wmayer | wmayer | master | 2015-09-15 00:12:40 | master 60cd098a | 
| Affected Issues | 0002106: Add "Default" option in Preferences | |||
| Changeset | + fixes 0002106: Add 'Default' option in Preferences | |||
| mod - src/Gui/DlgPreferences.ui | Diff File | |||
| mod - src/Gui/DlgPreferencesImp.cpp | Diff File | |||
| mod - src/Gui/DlgPreferencesImp.h | Diff File | |||