File manager - Edit - /usr/lib/python3/dist-packages/jedi/plugins/registry.py
Back
""" This is not a plugin, this is just the place were plugins are registered. """ from jedi.plugins import stdlib from jedi.plugins import flask from jedi.plugins import pytest from jedi.plugins import django from jedi.plugins import plugin_manager plugin_manager.register(stdlib, flask, pytest, django)
| ver. 1.4 |
Github
|
.
| PHP 7.4.33 | Generation time: 0.23 |
proxy
|
phpinfo
|
Settings