diff options
author | Fabrice Fontaine <fontaine.fabrice@gmail.com> | 2019-04-19 11:19:30 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | 2019-04-20 21:55:54 +0200 |
commit | ca443b49b5b0212ff5038c443a49ce636b17cb7c (patch) | |
tree | 7719685e783700bc4880fb6488d5f6c37b6590a1 /DEVELOPERS | |
parent | 4baa7a76384e2da9d74811aadd63cdbe2968d05f (diff) |
package/python-jedi: new package
An autocompletion tool for Python that can be used for text
editors.
https://github.com/davidhalter/jedi
python-jedi is a runtime dependency of ipython 7.3.0
Signed-off-by: Fabrice Fontaine <fontaine.fabrice@gmail.com>
[Thomas: add license for the flask theme]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Diffstat (limited to 'DEVELOPERS')
-rw-r--r-- | DEVELOPERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/DEVELOPERS b/DEVELOPERS index 52b9f1fe56..ea6b802de4 100644 --- a/DEVELOPERS +++ b/DEVELOPERS @@ -834,6 +834,7 @@ F: package/oniguruma/ F: package/oprofile/ F: package/pcmanfm/ F: package/python-backcall/ +F: package/python-jedi/ F: package/python-parso/ F: package/rygel/ F: package/safeclib/ |