diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 01:52:27 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 16:22:23 +0100 |
commit | 18328a4af50e91cc8899bb519548b505af548abe (patch) | |
tree | bbdc8686dfad4bb80d771088446cd6959151691e /dgit | |
parent | cec005037f5b62cb17094df53fb25c066d6a9705 (diff) |
git-playtree-setup: Provide to git-debpush
Not used yet, so no overall functional change to the script.
The .deb has a new file.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'dgit')
0 files changed, 0 insertions, 0 deletions