diff options
author | sestinj <sestinj@gmail.com> | 2023-08-10 01:39:09 -0700 |
---|---|---|
committer | sestinj <sestinj@gmail.com> | 2023-08-10 01:39:09 -0700 |
commit | 43d55d705d204ebc7ecb05bdaec2b32b6cb9d07f (patch) | |
tree | cfaefe120d1d7ff4e73c01e57f538ff9ec1eec27 /schema/json/Position.json | |
parent | 94ff4ec95fc2c078fc164e20c9f99fccad5616e7 (diff) | |
download | sncontinue-43d55d705d204ebc7ecb05bdaec2b32b6cb9d07f.tar.gz sncontinue-43d55d705d204ebc7ecb05bdaec2b32b6cb9d07f.tar.bz2 sncontinue-43d55d705d204ebc7ecb05bdaec2b32b6cb9d07f.zip |
Remove clientgen, fix windows startup errors
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 6b272ce7..20a8d4e8 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 |