comparison tools/verify-all-heads.sh @ 760:bf1c27a89c76

Extract files not to be pushed in util
author Patrick Mezard <pmezard@gmail.com>
date Fri, 19 Nov 2010 20:14:04 +0100
parents 11c4c7242a36
children
comparison
equal deleted inserted replaced
759:864b5b67a5f0 760:bf1c27a89c76