[FFmpeg-devel] [PATCH] ffplay: rename video_refresh_timer() to video_refresh()

[Stefano Sabatini]

On date Tuesday 2011-04-26 18:47:31 +0200, Michael Niedermayer encoded:
> On Fri, Apr 22, 2011 at 12:04:37PM +0200, Stefano Sabatini wrote:
> > The new name is shorter and less confusing.
> > 
> > Signed-off-by: Stefano Sabatini <stefano.sabatini-lala at poste.it>
> > ---
> >  ffplay.c |    4 ++--
> >  1 files changed, 2 insertions(+), 2 deletions(-)
> 
> ok

Applied.
-- 
FFmpeg = Fast & Freak Mastodontic Practical Exxagerate Governor