diff TOOLS/install-w32codecs.sh @ 26260:209defb84d1e

it's synced with r26258
author ptt
date Thu, 27 Mar 2008 19:44:30 +0000
parents 0432c831819d
children
line wrap: on
line diff