diff tools/verify-all-heads.sh @ 885:99a15c6a283c

verify: tell progress when we're done
author Bryan O'Sullivan <bryano@fb.com>
date Thu, 03 May 2012 09:05:11 -0700
parents 11c4c7242a36
children
line wrap: on
line diff