chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16ccc5d) | patch
dgit(1): Note that push-source doesn't need --rm-old-changes
authorSean Whitton <spwhitton@spwhitton.name>
Fri, 4 Aug 2017 14:52:50 +0000 (10:52 -0400)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 7 Jan 2018 19:31:59 +0000 (19:31 +0000)
commitb5bcafcd708628c57619139032c093ccf3694597
tree22f47ab2ae5b2c4026dc131fa1a5610539272498tree | snapshot
parent16ccc5dda376696f4cb37639017dc13e70ca9324commit | diff
dgit(1): Note that push-source doesn't need --rm-old-changes

Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Acked-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit.1 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.