From e47bbbb8513adb7766623a363ad223c76cacd701 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Fri, 16 Dec 2022 15:33:07 +0100 Subject: [PATCH] Removed all usages of Eric IDE, because apparently it's not using Jedi anymore --- README.rst | 2 -- docs/docs/usage.rst | 5 ----- 2 files changed, 7 deletions(-) diff --git a/README.rst b/README.rst index 7d0d7106..7eda97cb 100644 --- a/README.rst +++ b/README.rst @@ -42,7 +42,6 @@ Jedi can currently be used with the following editors/projects: - `GNOME Builder`_ (with support for GObject Introspection) - Gedit (gedi_) - wdb_ - Web Debugger -- `Eric IDE`_ (Available as a plugin) - `IPython 6.0.0+ `_ - `xonsh shell `_ has `jedi extension `_ @@ -213,4 +212,3 @@ Thanks a lot to all the .. _GNOME Builder: https://wiki.gnome.org/Apps/Builder .. _Visual Studio Code: https://code.visualstudio.com/ .. _gedi: https://github.com/isamert/gedi -.. _Eric IDE: https://eric-ide.python-projects.org diff --git a/docs/docs/usage.rst b/docs/docs/usage.rst index 2ef8b848..7ab70e46 100644 --- a/docs/docs/usage.rst +++ b/docs/docs/usage.rst @@ -83,11 +83,6 @@ Gedit - gedi_ -Eric IDE -~~~~~~~~ - -- `Eric IDE`_ (Available as a plugin) - Web Debugger ~~~~~~~~~~~~