diff TOOLS/install-w32codecs.sh @ 23788:615607ca81e3

synced with r23748
author ptt
date Tue, 17 Jul 2007 16:37:26 +0000
parents 0432c831819d
children
line wrap: on
line diff