tree c571db0e551fb1d81c43ed0970aaeeb8fc8468af
parent 977fabe98c9383544af967a71cc0413979a66fed
author margaretha <margaretha@ids-mannheim.de> 1653471935 +0200
committer margaretha <margaretha@ids-mannheim.de> 1653481858 +0200

Added installed_plugins table

Change-Id: I835eb9cea1d98fdfa33d0c783c44d6b69e50609e