[MPlayer-dev-eng] [PATCH] change timer_name type
Diego Biurrun
diego at biurrun.de
Tue Jun 22 09:55:56 CEST 2010
This is ripped straight from Uoti's tree, looks harmless enough, but
I'd appreciate a second pair of eyes.
Diego
More information about the MPlayer-dev-eng
mailing list