src/eric7/PluginManager/PluginManager.py

branch
eric7
changeset 10496
f9925e08dbce
parent 10439
21c28b0f9e41
child 10683
779cda568acb
diff -r 73ec0786d60e -r f9925e08dbce src/eric7/PluginManager/PluginManager.py
--- a/src/eric7/PluginManager/PluginManager.py	Thu Jan 11 22:13:39 2024 +0100
+++ b/src/eric7/PluginManager/PluginManager.py	Fri Jan 12 12:08:29 2024 +0100
@@ -10,6 +10,7 @@
 import contextlib
 import datetime
 import importlib
+import importlib.util
 import itertools
 import os
 import pathlib

eric ide

mercurial