nobody f1fb6c9a17 Chromium: Remove option to block Google Fonts (#1085)		2022-07-27 18:22:49 +02:00
..
options-advanced.js	Chromium: Remove option to block Google Fonts (#1085)	2022-07-27 18:22:49 +02:00
options-basic.js
options-info.js	Counter options page improved	2022-04-10 10:18:19 +02:00
options-other.js	Code style: wrap regex	2021-11-28 09:28:38 +01:00
options.css	Banner for chromium based browser (#1068)	2022-07-21 06:17:52 +02:00
options.html	Chromium: Remove option to change badge color for HTML filter (#1082)	2022-07-27 18:12:08 +02:00
options.js	Chromium: Remove option to change badge color for HTML filter (#1082)	2022-07-27 18:12:08 +02:00