nobody 35e5d2e97a Merge branch 'develop' into experimental		2023-12-11 19:50:53 +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	Merge branch 'develop' into experimental	2023-12-11 19:50:53 +01:00
options.css	improve option page for missing permission box	2023-05-29 07:04:40 +02:00
options.html	Merge branch 'develop' into experimental	2023-09-03 20:17:39 +02:00
options.js	Merge branch 'develop' into experimental	2023-12-11 19:50:53 +01:00