diff TOOLS/install-w32codecs.sh @ 23444:4a9e6efb8200

Remove some useless code
author reimar
date Mon, 04 Jun 2007 13:05:26 +0000
parents 0432c831819d
children
line wrap: on
line diff