diff TOOLS/vobshift.py @ 23819:5d6dbc80b8b7

Remove unused definition.
author diego
date Sat, 21 Jul 2007 18:33:28 +0000
parents 96b84e3a0d96
children 0f1b5b68af32
line wrap: on
line diff