diff TOOLS/install-w32codecs.sh @ 25543:d4de2cffe5bd

Remove compilation command from source file, it is already in the Makefile.
author diego
date Tue, 01 Jan 2008 19:53:51 +0000
parents 0432c831819d
children
line wrap: on
line diff