diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2015-09-08 09:45:09 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2015-09-08 09:45:09 -0700 |
| commit | a29f897125878e25e3d47b98d499a68970154004 (patch) | |
| tree | f5687b8319aab8a9cc8a3aa95c1537eff374d754 /Documentation/user-manual_fr.html.git | |
| parent | 4f3a9ba58309e5fc207733edcf01077f78ddf380 (diff) | |
| download | subsurface-a29f897125878e25e3d47b98d499a68970154004.tar.gz | |
Only store dive site uuid in dive if the dive site exists
Don't store stale uuids.
As a side effect this makes it easy to remove dive sites from the XML file
(or the git repository) when duplicates have been added for some reason
and the user wants to restart from scratch.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual_fr.html.git')
0 files changed, 0 insertions, 0 deletions