comparison TOOLS/install-w32codecs.sh @ 16076:743afec92452

synced with 1.71
author gabrov
date Sat, 23 Jul 2005 22:26:01 +0000
parents 1e2056c6bd74
children c53da7ea44a0
comparison
equal deleted inserted replaced
16075:f2fa3f06291e 16076:743afec92452