antelle 63e6be9867 plugin ids		2020-04-29 18:48:39 +02:00
..
plugin-api.js	up deps	2020-03-14 20:29:55 +01:00
plugin-collection.js	plugins	2019-09-18 21:15:48 +02:00
plugin-gallery.js	fixed displaying errors on the plugins page	2019-09-29 12:35:47 +02:00
plugin-manager.js	fix #1323: version in the About dialog	2019-10-26 22:56:36 +02:00
plugin.js	plugin ids	2020-04-29 18:48:39 +02:00
theme-vars.js	fixed issues with some theme plugins	2019-10-11 20:56:35 +02:00