diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-09-22 10:02:33 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-09-23 11:49:30 -0700 |
| commit | b5fe44bb8716b68eddb5baf84bfd776dcb41fcdb (patch) | |
| tree | 92a4acbf051388eccd3f0b41b98cc1575e50f1cf /android | |
| parent | a5b56d0ba0d2a80f2b5e059af47aa584c7124a99 (diff) | |
| download | subsurface-b5fe44bb8716b68eddb5baf84bfd776dcb41fcdb.tar.gz | |
Desktop/settings: add button to forget remembered dive computers
This isn't hooked up, yet.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'android')
0 files changed, 0 insertions, 0 deletions