2022-10-10 20:50:21 +08:00
|
|
|
{
|
|
|
|
|
"editor.formatOnSave": true,
|
|
|
|
|
"deno.enable": true,
|
|
|
|
|
"deno.importMap": "import_map.json",
|
2022-10-28 22:17:40 +08:00
|
|
|
"deno.config": "deno.jsonc",
|
2022-11-01 22:01:10 +08:00
|
|
|
"deno.unstable": true,
|
|
|
|
|
"[markdown]": {
|
|
|
|
|
"editor.formatOnSave": false
|
|
|
|
|
}
|
2022-10-10 20:50:21 +08:00
|
|
|
}
|
