Joakim Almgren 27a1c19ddb commented out example function		2017-06-06 16:28:07 +02:00
..
fav.js	Make js/options/favs.js actually usable	2016-05-05 13:36:26 +02:00
general.js	move a few options to a general tab in options panel	2014-09-20 22:10:44 +02: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