aboutsummaryrefslogtreecommitdiff
path: root/dev/base_include
diff options
context:
space:
mode:
authorThéo Zimmermann2018-12-03 13:18:36 +0100
committerThéo Zimmermann2018-12-03 13:59:38 +0100
commitc01490985794c3ddaad4b9fa2b951a0b8599bdea (patch)
treeaa41144b404abccb24513ed6fe05a3b379e55fdf /dev/base_include
parent5e58df994c31776563d8832c0eb65e51d24e7652 (diff)
[sphinx] Same rendering for :n:`@token` and :token:`token`.
Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions