diff Makefile @ 10220:500d09be7ace stable

ui: display progress with decimal notation
author Patrick Mezard <pmezard@gmail.com>
date Fri, 08 Jan 2010 23:15:24 +0100
parents c904e76e3834
children a1217735dffb
line wrap: on
line diff