nobody d3a9c27f79 improve option page for missing permission box		2023-05-29 07:04:40 +02: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	improve option page for missing permission box	2023-05-29 07:04:40 +02: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