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/lib | |
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/lib')
0 files changed, 0 insertions, 0 deletions