doc/muxers: document animated GIF muxer.
[ffmpeg.git] / tools / missing_codec_desc
2012-08-13 Nicolas Georgetools: add a script to find missing codec descriptors.