comparison tools/verify-all-heads.sh @ 1342:c6b01fd34694 stable

trying to fix progress output
author Augie Fackler <raf@durin42.com>
date Wed, 08 Jul 2015 19:45:04 -0400
parents 11c4c7242a36
children
comparison
equal deleted inserted replaced
1339:74e82a7da393 1342:c6b01fd34694