comparison TOOLS/vobshift.py @ 18747:5f68ff22c226

Rename --with-dts*dir options to --with-libdts*dir for consistency and as preparation for upcoming patches.
author diego
date Sun, 18 Jun 2006 11:15:20 +0000
parents 96b84e3a0d96
children 0f1b5b68af32
comparison
equal deleted inserted replaced
18746:497ebe3ecc2b 18747:5f68ff22c226