2016-08-23 20:07:12 +02:00
|
|
|
{
|
|
|
|
"type":"object",
|
|
|
|
"required":true,
|
|
|
|
"properties":{
|
2016-08-30 23:25:27 +02:00
|
|
|
"output": {
|
|
|
|
"type": "string",
|
2016-12-04 19:32:23 +01:00
|
|
|
"title":"edt_dev_spec_outputPath_title",
|
2016-09-10 19:08:08 +02:00
|
|
|
"default" : "/dev/null"
|
2016-08-30 23:25:27 +02:00
|
|
|
}
|
2016-08-23 20:07:12 +02:00
|
|
|
},
|
|
|
|
"additionalProperties": true
|
|
|
|
}
|