diff TOOLS/w32codec_dl.pl @ 9923:9eb5d5bd9aaa

Fixed the code that checks for a ".rm" URL extension to also make sure that the extension is not NULL.
author rsf
date Fri, 18 Apr 2003 07:48:29 +0000
parents 39805251ef61
children 0f1b5b68af32
line wrap: on
line diff