diff options
| author |  Martin Ågren <martin.agren@gmail.com> | 2018-04-17 21:15:29 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-04-18 12:49:26 +0900 |
| commit | 4c57a4f8fedddff474e8d1efb11003c75d088341 (patch) | |
| tree | 74046a686389dba6ca09670711f953cecedf4bba /contrib/mw-to-git/git-remote-mediawiki.txt | |
| parent | git-[short]log.txt: unify quoted standalone -- (diff) | |
| download | tgif-4c57a4f8fedddff474e8d1efb11003c75d088341.tar.xz | |
git-submodule.txt: quote usage in monospace, drop backslash
We tend to quote command line examples using `` to set them in a
monospace font. The immediate motivation for this patch is to get rid of
another instance of \--. As noted in the previous commits, \-- has a
tendency of rendering badly. Here, it renders ok (at least with
AsciiDoc 8.6.9 and Asciidoctor 1.5.4), but by getting rid of this
instance, we reduce the chances of \-- cropping up in places where it
matters more.
Signed-off-by: Martin Ågren <martin.agren@gmail.com>
Diffstat (limited to 'contrib/mw-to-git/git-remote-mediawiki.txt')
0 files changed, 0 insertions, 0 deletions