Sun, 02 Jun 2024 09:51:20 +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