tree ea47d59b41a7c9311ff9100b7523ac31fb0e5c89
parent 6936d3aefa2c320a6e124f57ac33a03ce9b9acbd
author Nicholas Legg <nlegg@codeaurora.org> 1521748144 -0600
committer Martin Fick <mogulguy10@gmail.com> 1542239746 -0700

Add delete command - delete an existing batch

Allows the user to delete a batch created with the batch plugin.

Change-Id: I331b2675597a8b342b950b37edc36ac29843e8f0