summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-policy-debian
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-27 00:46:57 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-27 00:46:57 +0100
commitbdda173e853cc3ed9178b32810bfb5b1e64d7749 (patch)
tree6d4559448df41a3fc0cfb096454ec1ce74d33448 /infra/dgit-repos-policy-debian
parent650fbf1f44c1331c5206c468d2245b62b4221123 (diff)
Infra: get-dm-txt: Break out $certargs
Diffstat (limited to 'infra/dgit-repos-policy-debian')
0 files changed, 0 insertions, 0 deletions