nobody 2873d9f53c Fixed: Data type of update notification (#174)		2020-11-28 17:38:50 +01:00
..
options.css	Names of all variables changed (#138)	2020-10-17 07:09:30 +02:00
options.html	Improved: settings for update notification (#176)	2020-11-14 12:31:17 +01:00
options.js	Fixed: Data type of update notification (#174)	2020-11-28 17:38:50 +01:00