diff tools/verify-all-heads.sh @ 521:839734dfb5c7

Handle tag subdirectory as tag in replay mode (issue119) Original version by Dirkjan Ochtman <dirkjan@ochtman.nl>
author Patrick Mezard <pmezard@gmail.com>
date Fri, 22 Jan 2010 18:01:19 -0600
parents 11c4c7242a36
children
line wrap: on
line diff