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
|
|
|
|
|
}
|
2022-10-10 12:50:21 +00:00
|
|
|
}
|
