nobody b38ec6f46b Set correct charset in HTML when HTML filter is active (#736)		2021-10-23 10:08:13 +02:00
..
constants.js	Displayed name of CDN updated	2021-10-09 12:06:38 +02:00
file-guard.js
interceptor.js	Logging improved (#703)	2021-09-29 07:10:37 +02:00
main.js
manipulate-dom.js	Set correct charset in HTML when HTML filter is active (#736)	2021-10-23 10:08:13 +02:00
mappings.js	bootswatch (flatly) v3.4.0 (#689)	2021-09-23 08:20:01 +02:00
messenger.js
request-analyzer.js
request-sanitizer.js
resources.js	Angular source changed from cdnjs.com to ajax.googleapis.com (#691)	2021-09-26 08:38:54 +02:00
shorthands.js
state-manager.js	Wildcard entries for HTML filter (#709)	2021-10-04 20:40:44 +02:00
storage-manager.js