diff options
| author | Masahiro Sakai <masahiro.sakai@gmail.com> | 2018-07-21 00:06:42 +0900 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-07-20 17:06:42 +0200 |
| commit | 532b209d127e4cecdbf7e9e3dcf4f653a5605b5a (patch) | |
| tree | 6a1dd2aff39fd63e74fcd71a4e29ba4c0a7c5089 /doc | |
| parent | 0861affeca4d72938f05a2eceddfae2c19199071 (diff) | |
Add # as a special character (#884)
'#' has special meaning used for anchors and can be escaped using backslash.
Therefore it would be nice to be listed as special characters.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/markup.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/markup.rst b/doc/markup.rst index 590bee00..e22c25e7 100644 --- a/doc/markup.rst +++ b/doc/markup.rst @@ -762,7 +762,7 @@ Special Characters ~~~~~~~~~~~~~~~~~~ The following characters have special meanings in documentation -comments: ``\\``, ``/``, ``'``, ``\```, ``"``, ``@``, ``<``, ``$``. To insert a +comments: ``\\``, ``/``, ``'``, ``\```, ``"``, ``@``, ``<``, ``$``, ``#``. To insert a literal occurrence of one of these special characters, precede it with a backslash (``\\``). |