diff TOOLS/w32codec_dl.pl @ 20396:490b7a74a21b

Fix some inconsistencies pointed out by Torinthiel.
author diego
date Mon, 23 Oct 2006 13:26:56 +0000
parents 39805251ef61
children 0f1b5b68af32
line wrap: on
line diff