Revert "Removed all usages of Eric IDE, because apparently it's not using Jedi anymore"

This reverts commit e47bbbb851.
This commit is contained in:
Dave Halter
2022-12-16 15:36:31 +01:00
parent e47bbbb851
commit 0f5ea3de5f
2 changed files with 7 additions and 0 deletions

View File

@@ -83,6 +83,11 @@ Gedit
- gedi_
Eric IDE
~~~~~~~~
- `Eric IDE`_ (Available as a plugin)
Web Debugger
~~~~~~~~~~~~