From 43d55d705d204ebc7ecb05bdaec2b32b6cb9d07f Mon Sep 17 00:00:00 2001
From: sestinj <sestinj@gmail.com>
Date: Thu, 10 Aug 2023 01:39:09 -0700
Subject: Remove clientgen, fix windows startup errors

---
 schema/json/SessionInfo.json | 56 ++++++++++++++++++++++----------------------
 1 file changed, 28 insertions(+), 28 deletions(-)

(limited to 'schema/json/SessionInfo.json')

diff --git a/schema/json/SessionInfo.json b/schema/json/SessionInfo.json
index 5857a724..e8d53fa1 100644
--- a/schema/json/SessionInfo.json
+++ b/schema/json/SessionInfo.json
@@ -1,29 +1,29 @@
-{
-  "title": "SessionInfo",
-  "$ref": "#/definitions/src__continuedev__core__main__SessionInfo",
-  "definitions": {
-    "src__continuedev__core__main__SessionInfo": {
-      "title": "SessionInfo",
-      "type": "object",
-      "properties": {
-        "session_id": {
-          "title": "Session Id",
-          "type": "string"
-        },
-        "title": {
-          "title": "Title",
-          "type": "string"
-        },
-        "date_created": {
-          "title": "Date Created",
-          "type": "string"
-        }
-      },
-      "required": [
-        "session_id",
-        "title",
-        "date_created"
-      ]
-    }
-  }
+{
+  "title": "SessionInfo",
+  "$ref": "#/definitions/src__continuedev__core__main__SessionInfo",
+  "definitions": {
+    "src__continuedev__core__main__SessionInfo": {
+      "title": "SessionInfo",
+      "type": "object",
+      "properties": {
+        "session_id": {
+          "title": "Session Id",
+          "type": "string"
+        },
+        "title": {
+          "title": "Title",
+          "type": "string"
+        },
+        "date_created": {
+          "title": "Date Created",
+          "type": "string"
+        }
+      },
+      "required": [
+        "session_id",
+        "title",
+        "date_created"
+      ]
+    }
+  }
 }
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2