nobody 72726b4de4 Chromium banner improved		2021-04-05 07:45:38 +02:00
..
options-advanced.js	Options page: Show or hide textarea depending on Google Fonts setting	2021-04-01 07:07:33 +02:00
options-basic.js	Debug information removed	2021-02-21 20:36:50 +01:00
options-info.js	Improved: Note for Non-Firefox users (Help and Options page)	2021-03-30 06:34:41 +02:00
options-other.js	Debug information removed	2021-02-21 20:36:50 +01:00
options.css	Options page restructured	2021-02-21 19:28:18 +01:00
options.html	Chromium banner improved	2021-04-05 07:45:38 +02:00
options.js	Improved: Note for Non-Firefox users (Help and Options page)	2021-03-30 06:34:41 +02:00