diff tools/verify-all-heads.sh @ 278:60acc38eac96

clone: prefer tip of default to overall tip when updating
author Martijn Pieters <mj@zopatista.com>
date Fri, 24 Apr 2009 20:36:38 -0500
parents 3c87de482011
children 5071b8511572
line wrap: on
line diff