diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 11:16:54 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 13:00:47 +0100 |
| commit | 52eeb586a25be5734ab9e53059f41f5a6e08690c (patch) | |
| tree | 906687a2e167221e8dcdd39c6048f531c37722d9 /tests | |
| parent | dbee6afd429a8cf4136a040d95ea10fe3a38520e (diff) | |
dgit: push_source no longer cleans the tree.
This is no longer needed because we always build in a playtree.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions