diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2017-12-27 22:11:00 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-12-27 22:13:31 -0800 |
commit | 6cc5b601aa36a7ede89ab13274cb334aa92f5cf7 (patch) | |
tree | df0370674c273546d53706f8f6042ecb83a57821 /Documentation/mobile-manual_es.txt | |
parent | e8719413a7962f737938a59ce54637352fb282f4 (diff) | |
download | subsurface-6cc5b601aa36a7ede89ab13274cb334aa92f5cf7.tar.gz |
Cleanup: avoid dereferencing NULL pointer
Coverity CID 208330
Coverity CID 208301
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/mobile-manual_es.txt')
0 files changed, 0 insertions, 0 deletions