diff TOOLS/install-w32codecs.sh @ 21069:d0d1482f2e65

misc small fixes
author diego
date Sun, 19 Nov 2006 23:16:52 +0000
parents 0432c831819d
children
line wrap: on
line diff