Docs: End user usage improvements

This commit is contained in:
Dave Halter
2020-03-19 00:25:27 +01:00
parent 97117bfaf2
commit b1aef26464
2 changed files with 28 additions and 21 deletions

View File

@@ -1,3 +1,3 @@
:orphan:
.. |jedi| replace:: *Jedi*
.. |jedi| replace:: Jedi