Sun, 28 Apr 2019 11:14:43 +0200
Preferences: fixed a bug caused by a forgotten web browser type conversion for the 'DnsPrefetchEnabled' key.
(grafted from 1ceea617d2861c5521ee330ea928c6ef27cf8a1e)
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