--- a/eric7.epj Tue Jul 02 17:59:11 2024 +0200 +++ b/eric7.epj Wed Jul 03 10:37:31 2024 +0200 @@ -1173,6 +1173,7 @@ "src/eric7/DocumentationTools/TemplatesListsStyleCSS.py", "src/eric7/DocumentationTools/__init__.py", "src/eric7/EricCore/EricFileSystemWatcher.py", + "src/eric7/EricCore/EricStdRedirector.py", "src/eric7/EricCore/EricTreeSortFilterProxyModel.py", "src/eric7/EricCore/__init__.py", "src/eric7/EricGraphics/EricArrowItem.py",