diff options
| author | Christian Klinger | 2016-05-19 16:05:20 +0200 |
|---|---|---|
| committer | Christian Klinger | 2016-05-19 16:05:20 +0200 |
| commit | 6e0dd4bd2848b1be03ab733803130b5f07b6b696 (patch) | |
| tree | d323eb5bcecb33d56f7bddc268e954446f3e2bd8 /gui | |
| parent | [shared/server] define preferred styles and enable it if supported (diff) | |
| parent | Closes bug #2807. (And also cleans the code (a bit)) (diff) | |
| download | pvs2-6e0dd4bd2848b1be03ab733803130b5f07b6b696.tar.gz pvs2-6e0dd4bd2848b1be03ab733803130b5f07b6b696.tar.xz pvs2-6e0dd4bd2848b1be03ab733803130b5f07b6b696.zip | |
Merge branch 'bugfix/segfault-clientsize'
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions