diff CONTRIBUTORS @ 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 c29efd272395
children
line wrap: on
line diff