nobody edad875768 Improved: FAQ and options page about generated rules		2021-07-30 21:25:37 +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	Internal resources counter corrected	2021-06-27 07:21:07 +02:00
options-other.js	Debug information removed	2021-02-21 20:36:50 +01:00
options.css	Option page edited	2021-04-17 06:35:15 +02:00
options.html	Improved: FAQ and options page about generated rules	2021-07-30 21:25:37 +02:00
options.js	Option page edited	2021-04-17 06:35:15 +02:00