script/repo_housecleaning: use the dashless form of 'git gc'
authorDavid Aguilar <davvid@gmail.com>
Tue, 30 Dec 2008 02:19:22 +0000 (18:19 -0800)
committerDavid Aguilar <davvid@gmail.com>
Tue, 30 Dec 2008 02:19:22 +0000 (18:19 -0800)
commitbbcaecbeb76078b80d1da6801ac115a517994a4b
treedd9abe59b84c783396638f397da38b77672892d4
parent707fb48423328021239b241dd3e8946662f23c56
script/repo_housecleaning: use the dashless form of 'git gc'

Signed-off-by: David Aguilar <davvid@gmail.com>
script/repo_housekeeping