comparison TOOLS/w32codec_dl.pl @ 17807:764d224f2cb4

Simplify libcdio check.
author diego
date Sat, 11 Mar 2006 00:00:25 +0000
parents 39805251ef61
children 0f1b5b68af32
comparison
equal deleted inserted replaced
17806:19096bce8095 17807:764d224f2cb4