diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2020-02-17 10:42:56 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-02-18 07:34:46 -0800 |
commit | f277b525c37bb131910140a19d82ed31053fc0e9 (patch) | |
tree | e2ae8648e0144b3a419e5ca79f4ff612da1ef49a /.gitignore | |
parent | 3cf958e658ad30d0ddd3cb5bac884424955d8340 (diff) | |
download | subsurface-f277b525c37bb131910140a19d82ed31053fc0e9.tar.gz |
mobile/profile: create updateProfile method
This allows us to trigger an update even if the dive displayed stays the same.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions