comparison: src/eric7/PluginManager/PluginManager.py
src/eric7/PluginManager/PluginManager.py
- branch
- eric7
- changeset 10496
- f9925e08dbce
- parent 10439
- 21c28b0f9e41
- child 10683
- 779cda568acb
equal
deleted
inserted
replaced
8 """ |
8 """ |
9 |
9 |
10 import contextlib |
10 import contextlib |
11 import datetime |
11 import datetime |
12 import importlib |
12 import importlib |
|
13 import importlib.util |
13 import itertools |
14 import itertools |
14 import os |
15 import os |
15 import pathlib |
16 import pathlib |
16 import sys |
17 import sys |
17 import types |
18 import types |