diff tools/verify-all-heads.sh @ 1001:26aa0172725b

test_util: specify a username in our test-run hgrc.
author Augie Fackler <raf@durin42.com>
date Fri, 12 Apr 2013 16:23:46 -0400
parents 11c4c7242a36
children
line wrap: on
line diff