nobody b45d1fe177 Merge branch 'develop' of https://codeberg.org/jouni/LocalCDN into jouni-develop (#1561)		2023-10-27 17:39:00 +02:00
..
constants.js	Allow Google fonts for Google services by default and permanently (#1560)	2023-10-13 08:55:30 +02:00
file-guard.js
interceptor.js	Allow Google fonts for Google services by default and permanently (#1560)	2023-10-13 08:55:30 +02:00
main.js
manipulate-dom.js	HTML filter trim spaces in character set detection (#1526)	2023-09-07 06:06:25 +02:00
mappings.js	Merge branch 'develop' of https://codeberg.org/jouni/LocalCDN into jouni-develop (#1561)	2023-10-27 17:39:00 +02:00
messenger.js	Popup extended (#1481)	2023-07-13 09:07:02 +02:00
request-analyzer.js
request-sanitizer.js
resources.js
shorthands.js
state-manager.js	Popup extended (#1481)	2023-07-13 09:07:02 +02:00
storage-manager.js