comparison tools/verify-all-heads.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 11c4c7242a36
children
comparison
equal deleted inserted replaced
531:cf4fe45bf8fd 532:b847e1a3ccd0