diff TOOLS/w32codec_dl.pl @ 6466:ebffa928a5d4

Added mplayer version in the user-agent field.
author bertrand
date Thu, 20 Jun 2002 08:50:40 +0000
parents 39805251ef61
children 0f1b5b68af32
line wrap: on
line diff