diff Makefile @ 10433:767fbacb3ddc

verify: call ui.progress()
author Augie Fackler <durin42@gmail.com>
date Wed, 10 Feb 2010 18:46:19 -0600
parents 821793e3049c
children ce6d56b95f2e
line wrap: on
line diff