diff tools/common.sh @ 532:b847e1a3ccd0

stupid: use real branch path in diff_branchrev()
author Patrick Mezard <pmezard@gmail.com>
date Sat, 30 Jan 2010 09:43:30 +0100
parents 5071b8511572
children
line wrap: on
line diff