comparison TOOLS/install-w32codecs.sh @ 15851:b239b45f3d87

synced with 1.65
author paszczi
date Wed, 29 Jun 2005 11:43:27 +0000
parents 1e2056c6bd74
children c53da7ea44a0
comparison
equal deleted inserted replaced
15850:8d00902ba64a 15851:b239b45f3d87