diff TOOLS/install-w32codecs.sh @ 24906:e3fec0def910

removed no more needed variable
author nicodvb
date Fri, 02 Nov 2007 18:52:08 +0000
parents 0432c831819d
children
line wrap: on
line diff