Tue, 01 Aug 2023 09:59:45 +0200
Merged with branch 'eric7' in order to prepare a new release.
glob:.eric7project glob:.ropeproject glob:.jedi glob:.pytest_cache glob:.directory glob:.venv glob:**.pyc glob:**.orig glob:**.bak glob:**Ui_*.py glob:**.rej glob:**~ glob:cur glob:tmp glob:__pycache__ glob:**.DS_Store glob:**.coverage glob:GPUCache glob:**Thumbs.db glob:eric_ide.egg-info glob:dist glob:build