diff TOOLS/install-w32codecs.sh @ 22637:1a24a78f7474

Mark phony targets as such.
author diego
date Sat, 17 Mar 2007 00:19:41 +0000
parents 0432c831819d
children
line wrap: on
line diff