nobody ee16b75e52 Another icon implemented (#52)		2020-07-10 14:32:46 +02:00
..
options.css	Small corrections of options page	2020-07-09 20:57:04 +02:00
options.html	Another icon implemented (#52)	2020-07-10 14:32:46 +02:00
options.js	Different styles of extension icons implemented (#52)	2020-07-09 20:58:18 +02:00