diff options
Diffstat (limited to 'schema/json/Position.json')
| -rw-r--r-- | schema/json/Position.json | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/schema/json/Position.json b/schema/json/Position.json index 20a8d4e8..6b272ce7 100644 --- a/schema/json/Position.json +++ b/schema/json/Position.json @@ -1,24 +1,24 @@ -{
- "title": "Position",
- "$ref": "#/definitions/src__continuedev__models__main__Position",
- "definitions": {
- "src__continuedev__models__main__Position": {
- "title": "Position",
- "type": "object",
- "properties": {
- "line": {
- "title": "Line",
- "type": "integer"
- },
- "character": {
- "title": "Character",
- "type": "integer"
- }
- },
- "required": [
- "line",
- "character"
- ]
- }
- }
+{ + "title": "Position", + "$ref": "#/definitions/src__continuedev__models__main__Position", + "definitions": { + "src__continuedev__models__main__Position": { + "title": "Position", + "type": "object", + "properties": { + "line": { + "title": "Line", + "type": "integer" + }, + "character": { + "title": "Character", + "type": "integer" + } + }, + "required": [ + "line", + "character" + ] + } + } }
\ No newline at end of file |