1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
{
"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"
},
"workspace_directory": {
"title": "Workspace Directory",
"type": "string"
}
},
"required": [
"session_id",
"title",
"date_created"
]
}
}
}
|
