towards-a-new-leftypol eb81faadbd Put style chooser into the options menu, remove any style related stuff that gets added to the footer		2021-07-15 12:11:22 +00:00
..
fav.js	Make js/options/favs.js actually usable	2016-05-05 13:36:26 +02:00
general.js	Put style chooser into the options menu, remove any style related stuff that gets added to the footer	2021-07-15 12:11:22 +00:00
user-css.js	Fix for update to comment toolbar (should work now)	2016-05-05 12:43:57 +02:00
user-js.js	commented out example function	2017-06-06 16:28:07 +02:00