tree 512f2faadd94a83d5cdceec2af44e7c91a83f1f9
parent 79360640f4c7d5f044973aa1bdb6fb0f8f311f05
author Simran Basi <sbasi@google.com> 1443033494 -0700
committer Dan Willemsen <dwillemsen@google.com> 1443733517 +0000

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