nobody de7a3525f7 Fixed: Font Awesome loaded by Web Font Loader (#82)		2020-08-19 10:00:26 +02:00
..
constants.js	Added settings (#74)	2020-08-08 07:28:41 +02:00
file-guard.js
interceptor.js	Fixed: Blocked Google Fonts in Chromium (#80)	2020-08-19 09:58:28 +02:00
main.js
manipulate-dom.js	Improved handling when HTML filter is not supported	2020-08-09 10:10:12 +02:00
mappings.js	Fixed: Font Awesome loaded by Web Font Loader (#82)	2020-08-19 10:00:26 +02:00
messenger.js
request-analyzer.js	Fixed: Blocked Google Fonts in Chromium (#80)	2020-08-19 09:58:28 +02:00
request-sanitizer.js
resources.js	Fixed: Font Awesome loaded by Web Font Loader (#82)	2020-08-19 10:00:26 +02:00
shorthands.js	Fixed: Font Awesome loaded by Web Font Loader (#82)	2020-08-19 10:00:26 +02:00
state-manager.js	Fixed: Reload content after data was deleted (#74)	2020-08-12 12:44:47 +02:00