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

[Stefano Sabatini]

On date Friday 2011-04-22 12:04:37 +0200, Stefano Sabatini encoded:
> The new name is shorter and less confusing.

I'll apply soon if I see no comments.
-- 
FFmpeg = Forgiving and Faithful MultiPurpose Extreme Genius