nobody 6fabde4c11 Chrome stuff removed (#1274)		2023-02-09 06:10:56 +01:00
..
options-advanced.js	Chrome stuff removed (#1274)	2023-02-09 06:10:56 +01:00
options-basic.js	Debug information removed	2021-02-21 20:36:50 +01:00
options-info.js	Chrome stuff removed (#1274)	2023-02-09 06:10:56 +01:00
options-other.js	Chrome stuff removed (#1274)	2023-02-09 06:10:56 +01:00
options.css	Set correct text for HTML filter	2023-01-20 06:54:52 +01:00
options.html	add i18n for missing permission banner (#1274)	2022-12-30 08:14:00 +01:00
options.js	Chrome stuff removed (#1274)	2023-02-09 06:10:56 +01:00