diff tools/common.sh @ 400:09625f3abdb0

branches: simplify branch deletion a little bit
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Wed, 10 Jun 2009 09:51:33 +0200
parents 5071b8511572
children
line wrap: on
line diff