diff TOOLS/install-w32codecs.sh @ 24646:18dd1970d050

Remove useless comment.
author diego
date Sat, 29 Sep 2007 22:09:31 +0000
parents 0432c831819d
children
line wrap: on
line diff