--- a/eric7.epj Sun Feb 12 15:14:28 2023 +0100 +++ b/eric7.epj Sun Feb 12 18:11:20 2023 +0100 @@ -1307,6 +1307,7 @@ "src/eric7/MicroPython/PyBoardDevices.py", "src/eric7/MicroPython/RP2040Devices.py", "src/eric7/MicroPython/ShowModulesDialog.py", + "src/eric7/MicroPython/TeensyDevices.py", "src/eric7/MicroPython/UF2FlashDialog.py", "src/eric7/MicroPython/UnknownDevicesDialog.py", "src/eric7/MicroPython/__init__.py",