diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2020-12-22 20:13:25 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-12-23 09:44:39 -0800 |
commit | c62b8f3a75189394b4a5567c33055029de1c333b (patch) | |
tree | e48b118e9055875de3552699dc5ada95bed85c19 /desktop-widgets/mapwidget.h | |
parent | 73aea74161293c1df5fcdbe377716d3c21878f1c (diff) | |
download | subsurface-c62b8f3a75189394b4a5567c33055029de1c333b.tar.gz |
mobile/UI: fix theming of About page
Can't believe I missed that one.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/mapwidget.h')
0 files changed, 0 insertions, 0 deletions