nobody 668c42afbd Implemented: Option to enable HTML-Filter by default (#33)		2020-06-25 07:54:17 +02:00
..
constants.js	Implemented: Option to enable HTML-Filter by default (#33)	2020-06-25 07:54:17 +02:00
file-guard.js	Initial commit	2020-02-27 13:45:29 +01:00
files.js	Added clipboard.js v1.7.1 (#36)	2020-06-23 18:26:06 +02:00
interceptor.js	Implemented Sync extension settings with Firefox Sync or own server (experimental)	2020-06-08 11:38:52 +02:00
main.js	Implemented: Option to enable HTML-Filter by default (#33)	2020-06-25 07:54:17 +02:00
manipulate-dom.js	Implemented: Option to enable HTML-Filter by default (#33)	2020-06-25 07:54:17 +02:00
mappings.js	Added NVD3 v1.8.6 JS&CSS (#36)	2020-06-23 18:24:52 +02:00
messenger.js	Fixed: Keep 'Tweak HTML source code' enabled after browser restart (#15)	2020-06-05 07:28:26 +02:00
request-analyzer.js	Implemented Sync extension settings with Firefox Sync or own server (experimental)	2020-06-08 11:38:52 +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 NVD3 v1.8.6 JS&CSS (#36)	2020-06-23 18:24:52 +02:00
shorthands.js	Updated class documentation	2020-04-14 07:43:25 +02:00
state-manager.js	Implemented: Option to enable HTML-Filter by default (#33)	2020-06-25 07:54:17 +02:00