Sat, 02 Feb 2019 11:12:54 +0100
Merged with default branch to prepare release 19.02.
glob:.eric5project glob:_eric5project glob:.eric6project glob:_eric6project glob:.ropeproject glob:_ropeproject glob:.directory 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