Give more progress information during repo_housekeeping, if we're verbose
authorJohan Sørensen <johan@johansorensen.com>
Mon, 14 Sep 2009 11:58:39 +0000 (13:58 +0200)
committerJohan Sørensen <johan@johansorensen.com>
Mon, 14 Sep 2009 12:01:56 +0000 (14:01 +0200)
commitd24feb4c62a79f5b00eb876a2fdfd337149cf2c5
tree04d48b32d13f52cfceda8924d304387b203a9fb1
parent1b6758bdbb0591009656850dfac63c3a9a3312fa
Give more progress information during repo_housekeeping, if we're verbose
script/repo_housekeeping