comparison TOOLS/install-w32codecs.sh @ 18352:3a7d60796a37

synced with 1.252 (update done by Reynaldo)
author gabrov
date Sun, 30 Apr 2006 08:05:14 +0000
parents 1e2056c6bd74
children c53da7ea44a0
comparison
equal deleted inserted replaced
18351:a58f92914b71 18352:3a7d60796a37