diff TOOLS/vobshift.py @ 18028:dc2a10c0d061

1.1251: -crash-debug does not get enabled with .developer in the source tree.
author kraymer
date Sun, 02 Apr 2006 21:25:56 +0000
parents 96b84e3a0d96
children 0f1b5b68af32
line wrap: on
line diff