diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-12-30 18:09:39 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2021-01-01 11:35:39 -0800 |
| commit | 4ca40bc15262193cec29f1aea02ac6964634b88c (patch) | |
| tree | 342580d7a4d44c6567d1862c977e3f9ffe6798cd /desktop-widgets/importgps.ui | |
| parent | 765c4f9704e2b606a94fedff3e3fdf7deeefa2f6 (diff) | |
| download | subsurface-4ca40bc15262193cec29f1aea02ac6964634b88c.tar.gz | |
mobile/UI: consolidate to a single check box
It was very odd that we had two slightly different styled check boxes.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/importgps.ui')
0 files changed, 0 insertions, 0 deletions