diff tools/common.sh @ 366:25ebdc16b05b

Simplify pulling revs a bit, unify stupid/replay interfaces.
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Thu, 28 May 2009 10:57:09 +0200
parents 52cc0982dfcd
children 5071b8511572
line wrap: on
line diff