diff tools/verify-all-heads.sh @ 517:ef288fb7f2fe

svnmeta: is_path_tag() is really get_path_tag() Enforce that returned tags are non-empty.
author Patrick Mezard <pmezard@gmail.com>
date Sat, 16 Jan 2010 17:25:09 +0100
parents 11c4c7242a36
children
line wrap: on
line diff