diff TOOLS/install-w32codecs.sh @ 22909:94183c81ec0c

reversed r22879 until I discover why it's giving so many sync problems; I'll eventually recommit it in a fixed form
author nicodvb
date Sat, 07 Apr 2007 08:51:26 +0000
parents 0432c831819d
children
line wrap: on
line diff