diff TOOLS/install-w32codecs.sh @ 19703:ad7f49a1ba95

Add official GPL header to make license explicit as discussed on ffmpeg-devel.
author diego
date Wed, 06 Sep 2006 10:24:19 +0000
parents 1e2056c6bd74
children c53da7ea44a0
line wrap: on
line diff