Joram Wilander 16b845c0d7 Differentiate between installed and activated states for plugins (#7706)

2017-10-25 08:17:17 -04:00

..

platform

Differentiate between installed and activated states for plugins (#7706)

2017-10-25 08:17:17 -04:00