diff options
| author | Matt Rendina <rendinam@users.noreply.github.com> | 2017-10-10 10:39:32 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-10 10:39:32 -0400 |
| commit | c735578a31384f384ee55a7fdfdd3168fdc53b83 (patch) | |
| tree | c9e7a8c40540139920abd667c1cbe3fbad8eec77 /patches | |
| parent | 4684c8bc1c4ecfb242a0bfffaad679d6a8bd5502 (diff) | |
| parent | a703665d8b95894b3f785a5aed96df2303c44c9d (diff) | |
| download | build_control-c735578a31384f384ee55a7fdfdd3168fdc53b83.tar.gz | |
Merge pull request #40 from rendinam/workspace_cleanup1.0.7
Add cleanup stage to purge workspace directory upon completion.
Diffstat (limited to 'patches')
0 files changed, 0 insertions, 0 deletions