diff options
author | Miika Turkia <miika.turkia@gmail.com> | 2018-01-07 08:56:40 +0200 |
---|---|---|
committer | mturkia <miika.turkia@gmail.com> | 2018-01-08 06:06:12 +0200 |
commit | 9d65c5bcddbb01e3f479397010721383df358e98 (patch) | |
tree | c218131d6a80d8472dbf1982669e78aa1350a6dc /Documentation/mobile-manual_fr.html.git | |
parent | 62d9728ebe624b8dffd6976064f225a4c78762e4 (diff) | |
download | subsurface-9d65c5bcddbb01e3f479397010721383df358e98.tar.gz |
Stricter check we get dive profile
We should get either dive trailer or dive profile immediately after
header. Thus make sure that is the case.
Signed-off-by: Miika Turkia <miika.turkia@gmail.com>
Diffstat (limited to 'Documentation/mobile-manual_fr.html.git')
0 files changed, 0 insertions, 0 deletions