[docs] use sphinx :pep: role#6728
Closed
svenevs wants to merge 3 commits intopython:masterfrom
svenevs:docs/use-pep-role
Closed
[docs] use sphinx :pep: role#6728svenevs wants to merge 3 commits intopython:masterfrom svenevs:docs/use-pep-role
svenevs wants to merge 3 commits intopython:masterfrom
svenevs:docs/use-pep-role
Commits
Commits on Apr 26, 2019
- committed
- committed
- committed