diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-25 12:53:28 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-25 13:00:19 +0100 |
| commit | d4a4e683f887a2bfb2f5271ed96ae0c623f8b1af (patch) | |
| tree | c1b030b80419b714b6d1b1b541d90e32fff56540 /git-debpush | |
| parent | 178322026ec058541d791c507ae59307a2fab08d (diff) | |
git-playtree-create: Drop an unwanted set -x
Closes: #932959
Reported-by: Sean Whitton <spwhitton@spwhitton.name>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'git-debpush')
0 files changed, 0 insertions, 0 deletions