[FFmpeg-devel] [PATCH 2/2] doc: Rename avtools-common-opts to fftools-common opts

[Stefano Sabatini]

On date Sunday 2013-09-08 15:36:55 -0700, Timothy Gu encoded:
> Signed-off-by: Timothy Gu <timothygu99 at gmail.com>
> ---
>  doc/ffmpeg.texi                                            | 2 +-
>  doc/ffplay.texi                                            | 2 +-
>  doc/ffprobe.texi                                           | 2 +-
>  doc/ffserver.texi                                          | 2 +-
>  doc/{avtools-common-opts.texi => fftools-common-opts.texi} | 0
>  5 files changed, 4 insertions(+), 4 deletions(-)
>  rename doc/{avtools-common-opts.texi => fftools-common-opts.texi} (100%)

Again, it's up to Michael if keeping the same name is easier when
merging.
-- 
FFmpeg = Fascinating & Freak Mysterious Philosofic Enigmatic Guide