diff TOOLS/realcodecs/rv30.sh @ 18741:414398e3a3d3

Rename --with-libdvnav --> --with-dvdnavdir for consistency.
author diego
date Sat, 17 Jun 2006 17:18:46 +0000
parents 86c478bea7ce
children
line wrap: on
line diff