diff options
| author | Simran Basi <sbasi@google.com> | 2015-09-23 11:38:14 -0700 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@google.com> | 2015-10-01 21:05:17 +0000 |
| commit | f231db11a2f7c2cf28c1228146b0c087c4be882a (patch) | |
| tree | 512f2faadd94a83d5cdceec2af44e7c91a83f1f9 /subcmds/gitc_init.py | |
| parent | 79360640f4c7d5f044973aa1bdb6fb0f8f311f05 (diff) | |
| download | git-repo-f231db11a2f7c2cf28c1228146b0c087c4be882a.tar.gz | |
GITC: Add repo gitc-delete command.
repo gitc-delete deletes a GITC client and all the locally
saved sources. Useful for removing unnecessary clients and
recovering disk space.
Change-Id: Idf23addcea52b8713d268c34a7b37da0c5e5cd26
Diffstat (limited to 'subcmds/gitc_init.py')
0 files changed, 0 insertions, 0 deletions