debian/source/format
author Anton Shestakov <av6@dwimlabs.net>
Sat, 12 Mar 2016 13:45:25 +0800
changeset 1623 47a0ce11b4ca
parent 755 0021301f7fde
permissions -rw-r--r--
evolve: ui.progress doesn't use total count if pos is None, let's drop it Every other call of ui.progress that has argument #2 (named `pos`) set to None doesn't specify `total`, because it won't be used. Basically, ui.progress(action, None) is enough, when used like this it hides progress bar because the action is considered completed. So this is just a minor cleanup patch.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
755
0021301f7fde debian: add source/format file
Faheem Mitha <faheem@faheem.info>
parents:
diff changeset
     1
3.0 (quilt)