summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Miika Turkia <miika.turkia@gmail.com>2018-01-07 08:56:40 +0200
committerGravatar mturkia <miika.turkia@gmail.com>2018-01-08 06:06:12 +0200
commit9d65c5bcddbb01e3f479397010721383df358e98 (patch)
treec218131d6a80d8472dbf1982669e78aa1350a6dc /.gitignore
parent62d9728ebe624b8dffd6976064f225a4c78762e4 (diff)
downloadsubsurface-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 '.gitignore')
0 files changed, 0 insertions, 0 deletions