diff TOOLS/install-w32codecs.sh @ 20383:2760bbeafbed

Replace $() by the slightly more portable ``.
author diego
date Sun, 22 Oct 2006 22:14:08 +0000
parents 1e2056c6bd74
children c53da7ea44a0
line wrap: on
line diff