diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2023-02-22 14:36:17 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2023-02-22 14:57:08 -0700 |
commit | c40f3fd2f2af8573697f5d35eb5261c95283ead8 (patch) | |
tree | cc427d8f255b5fd430a9628602ecc65f07699556 /infra/dgit-repos-admin-debian | |
parent | 5ee4728272bac1bcbdd0b1e63e820dc56a371401 (diff) |
dgit, dgit-maint-merge(7): Merge README.source text into gen. header
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'infra/dgit-repos-admin-debian')
0 files changed, 0 insertions, 0 deletions