Rémi Verschelde 41af228b76 Merge pull request #36960 from pycbouh/docs-improve-shortcuts ...

Improve shortcut formatting in docs

2020-04-29 09:40:52 +02:00

..

doc_merge.py

…

doc_status.py

…

makerst.py

Merge pull request #36960 from pycbouh/docs-improve-shortcuts

2020-04-29 09:40:52 +02:00