diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2016-12-22 18:43:37 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-09 13:08:32 +0000 |
commit | 93f0f211695dc8aa6b4cfc4063766f71dc074fc1 (patch) | |
tree | fa27b2ec9899ad5eb83567f712c3ba43e5e5e470 /dgit.1 | |
parent | e8df5638fc9abd8c502872b2a6f535de9ecf602f (diff) |
dgit-maint-merge(7): Use debian/source/patch-header
Closes:849120
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.1')
0 files changed, 0 insertions, 0 deletions