nobody 1b67c9c979 Code improvements (#613)		2021-08-14 06:59:52 +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	Code improvements (#613)	2021-08-14 06:59:52 +02:00
options.css	Customizable badge for missing resources and some code improvements (#613)	2021-08-12 06:37:45 +02:00
options.html	Optical adjustments (#613)	2021-08-13 06:12:00 +02:00
options.js	Customizable badge for missing resources and some code improvements (#613)	2021-08-12 06:37:45 +02:00