diff options
author | Luca Barbato <lu_zero@gentoo.org> | 2012-09-20 01:01:43 +0200 |
---|---|---|
committer | Luca Barbato <lu_zero@gentoo.org> | 2012-09-24 22:35:29 +0200 |
commit | 7751e4693dd10ec98c20fbd9887233b575034272 (patch) | |
tree | 54e3ad95d7c65d7b44f937b87d1628b737aa56e3 /Doxyfile | |
parent | a716006a7d6371a8f124be49d7ce59bcc28f9e53 (diff) | |
download | ffmpeg-7751e4693dd10ec98c20fbd9887233b575034272.tar.gz |
ogg: check that the expected number of headers had been parsed
Not having the header for a codec is a tell-tale of a broken file.
Diffstat (limited to 'Doxyfile')
0 files changed, 0 insertions, 0 deletions