comparison tools/verify-all-heads.sh @ 214:1416429584b2

Reuse ui from the repo if available.
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Fri, 20 Mar 2009 16:40:51 +0100
parents b1d2ea765516
children 3c87de482011
comparison
equal deleted inserted replaced
213:b1d2ea765516 214:1416429584b2