comparison TOOLS/install-w32codecs.sh @ 18581:7e3f1d22e43c

Reject codecs.conf files older than 20060501
author rtogni
date Mon, 05 Jun 2006 18:41:57 +0000
parents 1e2056c6bd74
children c53da7ea44a0
comparison
equal deleted inserted replaced
18580:d444160ee47c 18581:7e3f1d22e43c