--- a/eric7.epj Sat Apr 15 11:12:30 2023 +0200 +++ b/eric7.epj Sat Apr 15 18:22:09 2023 +0200 @@ -1349,6 +1349,7 @@ "src/eric7/MicroPython/MicroPythonProgressInfoDialog.py", "src/eric7/MicroPython/MicroPythonSerialPort.py", "src/eric7/MicroPython/MicroPythonWidget.py", + "src/eric7/MicroPython/MipLocalInstaller.py", "src/eric7/MicroPython/MipPackageDialog.py", "src/eric7/MicroPython/NtpParametersDialog.py", "src/eric7/MicroPython/ShowModulesDialog.py",