diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-09-22 09:33:20 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-09-23 11:49:30 -0700 |
| commit | a5b56d0ba0d2a80f2b5e059af47aa584c7124a99 (patch) | |
| tree | 601e3c08c0c625ba156a26bd5647ccd453b7f73d /desktop-widgets | |
| parent | 500f4c44fc9ec5127b7c1d419121518ac6c20ad7 (diff) | |
| download | subsurface-a5b56d0ba0d2a80f2b5e059af47aa584c7124a99.tar.gz | |
Mobile/settings: add button to forget remembered dive computers
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions