diff TOOLS/install-w32codecs.sh @ 17899:7f055f2fb27f

synced with 1.1241
author gpoirier
date Mon, 20 Mar 2006 21:13:01 +0000
parents 1e2056c6bd74
children c53da7ea44a0
line wrap: on
line diff