diff TOOLS/install-w32codecs.sh @ 20664:29f996a80af0

output cosmetics
author diego
date Sun, 05 Nov 2006 00:10:10 +0000
parents c53da7ea44a0
children 0432c831819d
line wrap: on
line diff