| commit | f231db11a2f7c2cf28c1228146b0c087c4be882a | [log] [tgz] |
|---|---|---|
| author | Simran Basi <sbasi@google.com> | Wed Sep 23 11:38:14 2015 -0700 |
| committer | Dan Willemsen <dwillemsen@google.com> | Thu Oct 01 21:05:17 2015 +0000 |
| tree | 512f2faadd94a83d5cdceec2af44e7c91a83f1f9 | |
| parent | 79360640f4c7d5f044973aa1bdb6fb0f8f311f05 [diff] |
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