2022-10-10 12:50:21 +00:00
|
|
|
{
|
|
|
|
|
"editor.formatOnSave": true,
|
|
|
|
|
"deno.enable": true,
|
|
|
|
|
"deno.importMap": "import_map.json",
|
2022-10-28 14:17:40 +00:00
|
|
|
"deno.config": "deno.jsonc",
|
2022-11-01 14:01:10 +00:00
|
|
|
"deno.unstable": true,
|
|
|
|
|
"[markdown]": {
|
|
|
|
|
"editor.formatOnSave": false
|
2023-12-10 14:39:49 +00:00
|
|
|
},
|
|
|
|
|
"deno.documentPreloadLimit": 0
|
2022-10-10 12:50:21 +00:00
|
|
|
}
|
