diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-02-21 18:18:44 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-02-21 18:22:56 -0800 |
| commit | da50bb1ae5b93d32592d0733bb1b33c0725a1a90 (patch) | |
| tree | 257bedecb4a55e522625bbc8dfe46f34e518e8b7 /desktop-widgets | |
| parent | 3fef6ec31da786bde7f249dd9c07121944ddd9ee (diff) | |
| download | subsurface-da50bb1ae5b93d32592d0733bb1b33c0725a1a90.tar.gz | |
Dive merge: don't pick an empty dive site
When merging, we should treat an empty dive site (which will be deleted
on save) the same as not having a dive site.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions