nobody 84c65a310b html structure improved (#1237)		2022-12-11 05:21:36 +01: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
options-other.js	Synchronize settings (#1223)	2022-12-03 06:22:57 +01:00
options.css
options.html	html structure improved (#1237)	2022-12-11 05:21:36 +01:00
options.js	Sync: settings are not saved locally (#1236)	2022-12-05 06:30:47 +01:00