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

Stefano Sabatini stefano.sabatini-lala at poste.it
Tue Apr 26 15:16:59 CEST 2011


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


More information about the ffmpeg-devel mailing list