diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-09-01 08:13:24 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-09-01 08:13:24 -0700 |
| commit | 23067e5dd8dd5c07dd579bf1ce01acc888539dbc (patch) | |
| tree | ce1594cc86446833c288c1c6bb1b8019ca7a2ed7 /core | |
| parent | 89e0c3f46498ba3e0844514b6709a07c200a68df (diff) | |
| download | subsurface-23067e5dd8dd5c07dd579bf1ce01acc888539dbc.tar.gz | |
Desktop: fix warnings when building preferences UI
Fixes #1618
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions