diff tools/verify-all-heads.sh @ 529:68667b627bd5

stupid: replace dicts with sets
author Patrick Mezard <pmezard@gmail.com>
date Fri, 29 Jan 2010 23:36:14 +0100
parents 11c4c7242a36
children
line wrap: on
line diff