log hgext/progress.py @ 10815:32b213b9b22c

age author description
Fri, 02 Apr 2010 15:22:00 -0500 Brodie Rao ui: add ui.write() output labeling API