diff configure @ 27349:e5a937e0f8d2

Rename install-w32codecs.sh --> binary-codecs.sh.
author diego
date Thu, 31 Jul 2008 09:36:18 +0000
parents 0857839b02b2
children 4b97fd1c40e5
line wrap: on
line diff