Tue, 20 Aug 2019 17:07:44 +0200
Revision <7140> closed.
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 glob:eric_ide.egg-info glob:dist glob:build