2023-10-13 11:19:33 +01:00
|
|
|
{
|
2023-10-17 10:16:28 +01:00
|
|
|
"deno.enable": false,
|
|
|
|
|
"deno.lint": false,
|
2023-11-16 22:19:53 +00:00
|
|
|
"deno.unstable": false,
|
|
|
|
|
"spellright.language": [],
|
|
|
|
|
"spellright.documentTypes": ["latex", "plaintext"]
|
2023-10-13 11:19:33 +01:00
|
|
|
}
|
