eric6/PluginManager/PluginUninstallDialog.py

changeset 7780
41420f82c0ac
parent 7533
88261c96484b
child 7923
91e843545d9a
equal deleted inserted replaced
7779:757334671130 7780:41420f82c0ac
4 # 4 #
5 5
6 """ 6 """
7 Module implementing a dialog for plugin deinstallation. 7 Module implementing a dialog for plugin deinstallation.
8 """ 8 """
9
10 9
11 import sys 10 import sys
12 import os 11 import os
13 import importlib 12 import importlib
14 import shutil 13 import shutil

eric ide

mercurial