nobody d0cffa56d3 Improved webFontLoader		2020-08-03 13:32:36 +02:00
..
constants.js	Icons moved and updated (#52)	2020-07-12 09:55:48 +02:00
file-guard.js	Docs revised	2020-06-30 18:41:58 +02:00
interceptor.js	Fixed: Block Google Fonts if enabled	2020-08-03 13:28:52 +02:00
main.js	Unused variable removed	2020-07-24 09:27:53 +02:00
manipulate-dom.js	Docs revised	2020-06-30 18:41:58 +02:00
mappings.js	Improved webFontLoader	2020-08-03 13:32:36 +02:00
messenger.js	Docs revised	2020-06-30 18:41:58 +02:00
request-analyzer.js	Show version of 'latest' frameworks (#68)	2020-07-30 08:20:02 +02:00
request-sanitizer.js	Implemented Sync extension settings with Firefox Sync or own server (experimental)	2020-06-08 11:38:52 +02:00
resources.js	Improved webFontLoader	2020-08-03 13:32:36 +02:00
shorthands.js	Selection of Bootstrap-Datepicker fixed (#54)	2020-07-13 18:50:13 +02:00
state-manager.js	Different styles of extension icons implemented (#52)	2020-07-09 20:58:18 +02:00