comparison TOOLS/w32codec_dl.pl @ 16599:ec3b4dcfc5f9

Nits noticed by Diego
author gpoirier
date Sun, 25 Sep 2005 17:53:55 +0000
parents 39805251ef61
children 0f1b5b68af32
comparison
equal deleted inserted replaced
16598:22f576c02442 16599:ec3b4dcfc5f9