chiark / gitweb /
dgit: Drop support for old attempts at cert/key pinning
[dgit.git] / debian / git-debpush.install
2019-07-21 Ian Jacksongit-playtree-setup: Rename from git-playtree-create
2019-07-21 Ian Jacksongit-playtree-setup: Provide to git-debpush