ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Remove placeholder $id from JSON schema and fix description

pull/5022/head
Steven Cartmell 2017-09-12 11:10:10 +01:00
parent 151f2fa3a6
commit 7010010ffc
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/config/schema_app.json
View File

@ -1,9 +1,8 @@
{ {
"$schema": "http://json-schema.org/draft-06/schema#", "$schema": "http://json-schema.org/draft-06/schema#",
"title": "Mbed Library Schema", "title": "Mbed Library Schema",
"description": "Configuration file for an mbed library", "description": "Configuration file for an mbed application",
"type": "object", "type": "object",
"$id": "http://example.com/root.json",
"properties": { "properties": {
"name": { "name": {
"$ref": "file:definitions.json#/name_definition" "$ref": "file:definitions.json#/name_definition"

1
tools/config/schema_lib.json
View File

@ -3,7 +3,6 @@
"title": "Mbed Library Schema", "title": "Mbed Library Schema",
"description": "Configuration file for an mbed library", "description": "Configuration file for an mbed library",
"type": "object", "type": "object",
"$id": "http://example.com/root.json",
"properties": { "properties": {
"name": { "name": {
"$ref": "file:definitions.json#/name_definition" "$ref": "file:definitions.json#/name_definition"