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

This commit is contained in:
Dave Halter committed 2022-12-16 15:33:07 +01:00
1 parent eaab706038
commit e47bbbb851
2 files changed
-7

No files matched your search

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