diff TOOLS/subsearch.sh @ 20749:eafd9953b505

added demuxer_get_current_time() to get the current playtime (possibly aided by the stream layer)
author nicodvb
date Tue, 07 Nov 2006 22:55:49 +0000
parents 4d8489f21983
children
line wrap: on
line diff