nobody bf1a72daa6 Option page edited		2021-04-17 06:35:15 +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
options-info.js	Links in options page changed	2021-04-05 07:46:50 +02:00
options-other.js
options.css	Option page edited	2021-04-17 06:35:15 +02:00
options.html	Option page edited	2021-04-17 06:35:15 +02:00
options.js	Option page edited	2021-04-17 06:35:15 +02:00