{
"jupyter.lab.shortcuts": [],
"title": "jupyterlab-data-pool",
"description": "jupyterlab-data-pool settings.",
"type": "object",
"properties": {},
"additionalProperties": false
}