diff TOOLS/install-w32codecs.sh @ 20546:d66105346fb9

--with-codecsdir --> --codecsdir
author diego
date Tue, 31 Oct 2006 14:50:56 +0000
parents c53da7ea44a0
children 0432c831819d
line wrap: on
line diff