diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2012-06-13 07:37:24 -0700 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2012-06-13 07:37:24 -0700 |
| commit | 44c89996c8a9472b03b90ef1cfffb7c8503bf1da (patch) | |
| tree | 437bad1af7dccf5ced0f0056757d134334f4b056 /INSTALL | |
| parent | c4879a0c2fea705b6ad7956502acc7897838e841 (diff) | |
| parent | c4443c2be141e5f45bb10376056f3083e97cde50 (diff) | |
Merge pull request #1433 from Diapolo/tabbed_optionsdialog
GUI: re-work current options dialog to a tabbed layout and use an UI-file
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions