antelle c5c64bee20 fix #1235: custom themes loading		2019-08-20 20:18:16 +02:00
..
plugin-api.js	removed file-saver	2019-01-06 15:38:03 +01:00
plugin-collection.js	removed 'use script'	2017-04-08 18:31:38 +02:00
plugin-gallery.js	prettier	2019-08-18 08:05:38 +02:00
plugin-manager.js	prettier	2019-08-18 08:05:38 +02:00
plugin.js	prettier	2019-08-18 08:05:38 +02:00
theme-vars.js	fix #1235: custom themes loading	2019-08-20 20:18:16 +02:00