diff tools/verify-all-heads.sh @ 535:715d2e3e153b

stupid: port hack from stupid to moderately stupid mode
author Patrick Mezard <pmezard@gmail.com>
date Sat, 30 Jan 2010 09:55:28 +0100
parents 11c4c7242a36
children
line wrap: on
line diff