comparison TOOLS/install-w32codecs.sh @ 20429:05e8731806f3

finally document -correct-pts
author ods15
date Wed, 25 Oct 2006 17:43:46 +0000
parents 1e2056c6bd74
children c53da7ea44a0
comparison
equal deleted inserted replaced
20428:19059fe62daa 20429:05e8731806f3