chiark / gitweb /
Add a -v option.
authorSimon Tatham <anakin@pobox.com>
Fri, 14 Mar 2014 22:58:47 +0000 (22:58 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 14 Mar 2014 22:59:39 +0000 (22:59 +0000)
commit0917331168d079acc8bd6901289acdafe9459f56
tree9597c5f9ced3984eca7ea72f0a58269919e6c098
parent2b68e0812cdf71031274fe1883a8857479a390a0
Add a -v option.
partition.py