--- a/eric7.epj Tue Feb 14 11:09:49 2023 +0100 +++ b/eric7.epj Tue Feb 14 18:10:30 2023 +0100 @@ -1301,7 +1301,7 @@ "src/eric7/MicroPython/Devices/TeensyDevices.py", "src/eric7/MicroPython/Devices/__init__.py", "src/eric7/MicroPython/IgnoredDevicesDialog.py", - "src/eric7/MicroPython/MicroPythonCommandsInterface.py", + "src/eric7/MicroPython/MicroPythonDeviceInterface.py", "src/eric7/MicroPython/MicroPythonFileManager.py", "src/eric7/MicroPython/MicroPythonFileManagerWidget.py", "src/eric7/MicroPython/MicroPythonFileSystemUtilities.py",