diff tools/common.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
line wrap: on
line diff