Some small docs improvements

2025-12-30 16:54:20 +08:00 · 2019-06-19 09:59:21 +02:00
parent 5ad0e3d72e
commit 474dcb857a
3 changed files with 13 additions and 3 deletions
--- a/docs/docs/development.rst
+++ b/docs/docs/development.rst
@@ -8,6 +8,8 @@ Jedi Development
 .. note:: This documentation is for Jedi developers who want to improve Jedi
    itself, but have no idea how Jedi works. If you want to use Jedi for 
    your IDE, look at the `plugin api <api.html>`_.
+    It is also important to note that it's a pretty old version and some things
+    might not apply anymore.


 Introduction