tree baf5b3d543e60800ff6f974a226595840d1777d3
parent 2a49805042f0a1dded61a0cdcb554e90a2b9b32d
author margaretha <margaretha@ids-mannheim.de> 1650537458 +0200
committer margaretha <margaretha@ids-mannheim.de> 1653478629 +0200

Added a new API: list plugins (e.g. for marketplace)

Change-Id: Iad8ea0f18b8219e6e4074cdcf8ead54732f3f041