diff util.py @ 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 df4611050286
children ced45b753ba7
line wrap: on
line diff