nobody 6c74004e69 Added name of CDN (#943)		2022-04-19 06:11:58 +02:00
..
constants.js	Added name of CDN (#943)	2022-04-19 06:11:58 +02:00
file-guard.js
interceptor.js	Firefox part fixed (#857)	2022-01-30 09:37:42 +01:00
main.js
manipulate-dom.js	HTML filter modified (#859)	2022-02-06 08:06:07 +01:00
mappings.js	Mapping: CreateJS -> cdn.jsdelivr.net (#943)	2022-04-19 06:10:27 +02:00
messenger.js	Toggle button for Google Fonts (#620)	2021-08-13 06:15:10 +02:00
request-analyzer.js	MathJax v3.2.0 (#899)	2022-03-15 17:12:14 +01:00
request-sanitizer.js
resources.js	CreateJS v1.0.0 (#943)	2022-04-18 06:32:17 +02:00
shorthands.js	CreateJS v1.0.0 (#943)	2022-04-18 06:32:17 +02:00
state-manager.js	Missing icon when extension is disabled for a website (#752)	2021-10-31 09:15:04 +01:00
storage-manager.js