diff TOOLS/vobshift.py @ 20383:2760bbeafbed

Replace $() by the slightly more portable ``.
author diego
date Sun, 22 Oct 2006 22:14:08 +0000
parents 96b84e3a0d96
children 0f1b5b68af32
line wrap: on
line diff