nobody d1e8b7f755 Drop-down entry of the options page updated		2020-07-14 18:54:29 +02:00
..
options.css	Options page updated (#52)	2020-07-12 09:57:54 +02:00
options.html	Drop-down entry of the options page updated	2020-07-14 18:54:29 +02:00
options.js	Removed option item in Chromium to block "Google Fonts"	2020-07-12 15:49:37 +02:00