nobody ce67b1426e Fixed: Reload content after data was deleted (#74)		2020-08-12 12:44:47 +02:00
..
constants.js	Added settings (#74)	2020-08-08 07:28:41 +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	Improved handling when HTML filter is not supported	2020-08-09 10:10:12 +02:00
mappings.js	Updated CDNs (PR #77)	2020-08-09 09:07:38 +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	Added: Tooltipster v3.3.0 (#73)	2020-08-03 13:48:32 +02:00
shorthands.js	Added: Font Awesome v4.7.0 loaded by WebFontLoader (#73)	2020-08-03 13:36:13 +02:00
state-manager.js	Fixed: Reload content after data was deleted (#74)	2020-08-12 12:44:47 +02:00