tophf 777fc06834 FF: avoid reloading if dysfunctional		2017-08-28 15:20:37 +03:00
..
dom.js	FF: avoid reloading if dysfunctional	2017-08-28 15:20:37 +03:00
localization.js	Use optimal DOM selection functions	2017-08-27 17:20:46 -05:00
messaging.js	fix opening own pages from an incognito window popup in Chrome	2017-08-26 15:57:33 +03:00
prefs.js	regroup some of lint* data and code	2017-08-28 15:20:37 +03:00