diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-01-26 12:35:23 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-01-26 12:35:32 +0100 |
| commit | ca7880358c2be56935e861f2212967ecb1123c05 (patch) | |
| tree | b5844a49292b916043786801aaf4ca52abd95f8b /src/util.h | |
| parent | 2fae1875ea9e44c46d6cc3e679b5500f4c783ea4 (diff) | |
| parent | 785bb81c6bc672b55ca20910d2d9599986903753 (diff) | |
Merge pull request #5628
785bb81 [Qt] remove size grip to get rid of the right margin (Jonas Schnelli)
Diffstat (limited to 'src/util.h')
0 files changed, 0 insertions, 0 deletions