diff 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
line wrap: on
line diff