1
0
mirror of https://github.com/gsi-upm/senpy synced 2025-08-24 18:42:20 +00:00

Fix list of plugins

Closes #17
This commit is contained in:
J. Fernando Sánchez
2017-03-14 13:05:52 +01:00
parent 1a582c0843
commit 603e086606
5 changed files with 34 additions and 13 deletions

View File

@@ -37,6 +37,9 @@
"@type": "@id",
"@container": "@set"
},
"plugins": {
"@container": "@list"
},
"prov:wasGeneratedBy": {
"@type": "@id"
},

View File

@@ -6,6 +6,7 @@
"properties": {
"plugins": {
"type": "array",
"default": [],
"items": {
"$ref": "plugin.json"
}