nobody 1768e38f57 Sort domains alphabetically (#952)		2022-04-22 06:12:23 +02:00
..
options-advanced.js	Improved: FAQ and options page about generated rules	2021-07-30 21:25:37 +02:00
options-basic.js	Debug information removed	2021-02-21 20:36:50 +01:00
options-info.js	Counter options page improved	2022-04-10 10:18:19 +02:00
options-other.js	Code style: wrap regex	2021-11-28 09:28:38 +01:00
options.css	Code style improved	2021-11-28 09:28:49 +01:00
options.html	UTF-8 icons replaced with SVG	2021-08-15 07:39:00 +02:00
options.js	Sort domains alphabetically (#952)	2022-04-22 06:12:23 +02:00