subsurface/desktop-widgets
Dirk Hohndel 23067e5dd8 Desktop: fix warnings when building preferences UI
Fixes #1618

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2018-09-01 08:13:24 -07:00
..
2015-10-30 10:36:49 -07:00
2017-12-30 08:23:22 -08:00
2017-04-29 13:32:55 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-04-29 13:32:55 -07:00
2015-10-30 10:36:49 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2015-10-30 10:36:49 -07:00
2017-04-29 13:32:55 -07:00
2017-03-06 06:40:00 -08:00
2017-11-30 23:14:46 -08:00