From 43d55d705d204ebc7ecb05bdaec2b32b6cb9d07f Mon Sep 17 00:00:00 2001 From: sestinj Date: Thu, 10 Aug 2023 01:39:09 -0700 Subject: Remove clientgen, fix windows startup errors --- schema/json/Range.json | 80 +++++++++++++++++++++++++------------------------- 1 file changed, 40 insertions(+), 40 deletions(-) (limited to 'schema/json/Range.json') diff --git a/schema/json/Range.json b/schema/json/Range.json index 75675183..b6867932 100644 --- a/schema/json/Range.json +++ b/schema/json/Range.json @@ -1,41 +1,41 @@ -{ - "title": "Range", - "$ref": "#/definitions/src__continuedev__models__main__Range", - "definitions": { - "Position": { - "title": "Position", - "type": "object", - "properties": { - "line": { - "title": "Line", - "type": "integer" - }, - "character": { - "title": "Character", - "type": "integer" - } - }, - "required": [ - "line", - "character" - ] - }, - "src__continuedev__models__main__Range": { - "title": "Range", - "description": "A range in a file. 0-indexed.", - "type": "object", - "properties": { - "start": { - "$ref": "#/definitions/Position" - }, - "end": { - "$ref": "#/definitions/Position" - } - }, - "required": [ - "start", - "end" - ] - } - } +{ + "title": "Range", + "$ref": "#/definitions/src__continuedev__models__main__Range", + "definitions": { + "Position": { + "title": "Position", + "type": "object", + "properties": { + "line": { + "title": "Line", + "type": "integer" + }, + "character": { + "title": "Character", + "type": "integer" + } + }, + "required": [ + "line", + "character" + ] + }, + "src__continuedev__models__main__Range": { + "title": "Range", + "description": "A range in a file. 0-indexed.", + "type": "object", + "properties": { + "start": { + "$ref": "#/definitions/Position" + }, + "end": { + "$ref": "#/definitions/Position" + } + }, + "required": [ + "start", + "end" + ] + } + } } \ No newline at end of file -- cgit v1.2.3-70-g09d2