diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-10-20 20:13:59 -0400 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-10-21 15:50:41 -0400 |
| commit | e6298f93523139a18d4dfc18cca32f0e4cc4deb2 (patch) | |
| tree | a32785a42967c79634705743a3d27809ebc6adb5 /.gitignore | |
| parent | 158a2ec1591598973dbde0cedd80a4494f34045a (diff) | |
| download | subsurface-e6298f93523139a18d4dfc18cca32f0e4cc4deb2.tar.gz | |
Mobile: allow editing dive number
No checks regarding duplicate numbers - we trust the user knows what
they are doing.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions