diff TOOLS/realcodecs/drv2.sh @ 12851:28347c761182

name change, codec download location
author diego
date Mon, 19 Jul 2004 22:42:56 +0000
parents 86c478bea7ce
children
line wrap: on
line diff