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 /debian/dgit.install | |
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 'debian/dgit.install')
0 files changed, 0 insertions, 0 deletions