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
|