diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2015-02-13 22:53:03 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2015-02-13 22:53:03 -0800 |
| commit | 7ca3d859dc304674fe9e48c3ab3925303615a1c2 (patch) | |
| tree | 56bda08fe3760acaf77c6bb0401d1818b01e10a0 /Documentation/user-manual_fr.html.git | |
| parent | cd77e2e700da92fe0292320d5d4a82361104adfe (diff) | |
| download | subsurface-7ca3d859dc304674fe9e48c3ab3925303615a1c2.tar.gz | |
Add helper function to detect empty dive sites
No point in keeping those.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual_fr.html.git')
0 files changed, 0 insertions, 0 deletions