kkapsner a268ccd6da Reset settings for everybody ... Fixes #307		2019-01-29 20:03:27 +01:00
..
export.css	Added export and import for settings	2017-11-14 01:07:27 +01:00
export.html	Separated setting containers	2018-09-16 01:22:40 +02:00
export.js	Added export and import for settings	2017-11-14 01:07:27 +01:00
notVisible.svg	Added feature to hide settings.	2018-07-02 00:29:41 +02:00
options.css	made url specific values manageable with "tabing"	2018-10-16 00:11:07 +02:00
options.html	Create search in options page	2018-09-18 13:14:39 +02:00
options.js	Linting	2019-01-24 15:43:20 +01:00
optionsGui.js	added "share persistent randomness between domains"	2018-10-25 13:42:18 +02:00
sanitationRules.js	added "share persistent randomness between domains"	2018-10-25 13:42:18 +02:00
sanitize.css	Added setting sanitation	2018-10-09 08:14:50 +02:00
sanitize.html	Added setting sanitation	2018-10-09 08:14:50 +02:00
sanitize.js	Added setting sanitation	2018-10-09 08:14:50 +02:00
settingsDisplay.js	Reset settings for everybody	2019-01-29 20:03:27 +01:00
visible.svg	Added feature to hide settings.	2018-07-02 00:29:41 +02:00