diff tools/verify-all-heads.sh @ 1493:bac709b5ff6c stable

testui: set a username so recording obsolete markers doesn't break
author Augie Fackler <raf@durin42.com>
date Sun, 12 Feb 2017 15:16:16 -0500
parents 11c4c7242a36
children
line wrap: on
line diff