diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-04 02:20:47 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-04 11:56:25 +0100 |
commit | 2df2d6795e7ef7f34fb9a52236ecc9e8d40145fa (patch) | |
tree | ca8821eef7f1deb44097c6ddd27aafaf52158362 /dgit-nmu-simple.7.pod | |
parent | e11e759cb1877f52bf696d5f1e0b30f53a50ca4a (diff) |
docs: dgit(7): Update for change to dgit push-*
We speak here of "dgit push-*" when we mean "push-source or push-built
or push".
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-nmu-simple.7.pod')
0 files changed, 0 insertions, 0 deletions