diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-09 03:28:07 +0000 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-09 13:08:32 +0000 |
| commit | c443a54979b9b827a380cc6a99975c2b0dded63e (patch) | |
| tree | 854905a3867f3aa943c669ebd9860aceb725a4c9 | |
| parent | 787ba7f819b210277c50a523a16d8dedddecb91d (diff) | |
dgit(1): --overwrite: say in title that it's optional
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
| -rw-r--r-- | dgit.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -416,7 +416,7 @@ This can be useful with build, if you plan to commit later. (dgit push will still ensure that the .dsc you upload and the git tree you push are identical, so this option won't make broken pushes.) .TP -.BR --overwrite =\fIprevious-version\fR +.BR --overwrite [=\fIprevious-version\fR] Declare that even though your git branch is not a descendant of the version in the archive according to the revision history, |