Jiiks e66c1ce447 Hide settings button if plugin doesn't have any settings		2018-01-25 14:50:07 +02:00
..
csseditor	CSS editor tweaks and fixes	2018-01-22 00:02:19 +00:00
frontend	Implement the main features of the CSS Editor	2018-01-20 22:48:48 -05:00
plugins	Hide settings button if plugin doesn't have any settings	2018-01-25 14:50:07 +02:00
config.json	Move tests	2018-01-10 22:52:49 +02:00
index.js	WindowUtils and script inject	2018-01-11 00:15:31 +02:00
run.bat	Move tests	2018-01-10 22:52:49 +02:00