nobody 0a4d916724 Merge remote-tracking branch 'origin/develop'		2023-10-28 09:36:00 +02:00
..
options-advanced.js	Chromium: Remove option to block Google Fonts (#1085)	2022-07-27 18:22:49 +02:00
options-basic.js	Debug information removed	2021-02-21 20:36:50 +01:00
options-info.js	Counter options page improved	2022-04-10 10:18:19 +02:00
options-other.js	Merge remote-tracking branch 'origin/develop'	2023-10-28 09:36:00 +02:00
options.css	Set correct text for HTML filter	2023-01-20 06:54:52 +01:00
options.html	mark firefox sync storage as beta (#1510)	2023-08-24 07:12:23 +02:00
options.js	Merge remote-tracking branch 'origin/develop'	2023-10-28 09:36:00 +02:00