diff tools/verify-all-heads.sh @ 798:3bffdf0e5948

Backed out changeset 7bf283d4c7a9 in favor of a better win32 fix In the future I'll try to get commentary from Windows people *before* pushing a patch.
author Augie Fackler <durin42@gmail.com>
date Sun, 17 Apr 2011 20:28:04 -0500
parents 11c4c7242a36
children
line wrap: on
line diff