diff tools/verify-all-heads.sh @ 980:641d0c41d1ea

pull: use a single if-statement for the two ways to skip revisions
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Sun, 11 Nov 2012 15:31:19 +0100
parents 11c4c7242a36
children
line wrap: on
line diff