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