nobody 1105264b9e UTF-8 icons replaced with SVG		2021-08-15 07:39:00 +02:00
..
options-advanced.js
options-basic.js
options-info.js
options-other.js	Code improvements (#613)	2021-08-14 06:59:52 +02:00
options.css	UTF-8 icons replaced with SVG	2021-08-15 07:39:00 +02:00
options.html	UTF-8 icons replaced with SVG	2021-08-15 07:39:00 +02:00
options.js	Customizable badge for missing resources and some code improvements (#613)	2021-08-12 06:37:45 +02:00