diff TOOLS/install-w32codecs.sh @ 20635:9ed557ae1383

Streamline and simplify internal vs external libdvdread handling.
author diego
date Fri, 03 Nov 2006 22:03:58 +0000
parents c53da7ea44a0
children 0432c831819d
line wrap: on
line diff