diff TOOLS/install-w32codecs.sh @ 22431:0cf22436ef75

Already frameno == num_frames means we reached EOF.
author reimar
date Sun, 04 Mar 2007 14:59:23 +0000
parents 0432c831819d
children
line wrap: on
line diff