Sat, 02 Mar 2019 11:15:24 +0100
Merged with default branch to prepare a new release.
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