--- a/eric7.epj	Sun Apr 02 11:13:14 2023 +0200
+++ b/eric7.epj	Sun Apr 02 15:55:20 2023 +0200
@@ -1331,6 +1331,7 @@
       "src/eric7/MicroPython/Devices/MicrobitDevices.py",
       "src/eric7/MicroPython/Devices/PyBoardDevices.py",
       "src/eric7/MicroPython/Devices/RP2040Devices.py",
+      "src/eric7/MicroPython/Devices/STLinkDevices.py",
       "src/eric7/MicroPython/Devices/TeensyDevices.py",
       "src/eric7/MicroPython/Devices/__init__.py",
       "src/eric7/MicroPython/EthernetDialogs/EthernetController.py",