diff TOOLS/install-w32codecs.sh @ 19695:782364fc00c4

Use better resolution for pts computation. Fixes desync in Real live streams with huge pts values
author rtogni
date Tue, 05 Sep 2006 21:53:09 +0000
parents 1e2056c6bd74
children c53da7ea44a0
line wrap: on
line diff