Jedi is now a fixed part of the Eric IDE

This commit is contained in:
Dave Halter
2022-12-16 15:37:22 +01:00
parent 0f5ea3de5f
commit 66e97e5b93
2 changed files with 2 additions and 2 deletions

View File

@@ -86,7 +86,7 @@ Gedit
Eric IDE
~~~~~~~~
- `Eric IDE`_ (Available as a plugin)
- `Eric IDE`_
Web Debugger
~~~~~~~~~~~~