2023-01-17 15:34:31 +00:00
|
|
|
{
|
2023-01-24 16:48:08 +00:00
|
|
|
"explorer.excludeGitIgnore": true,
|
2023-01-29 19:38:40 +00:00
|
|
|
"latex-workshop.latex.recipe.default": "latexmk (lualatex)",
|
|
|
|
|
"gitlens.codeLens.authors.enabled": false,
|
|
|
|
|
"gitlens.codeLens.recentChange.enabled": false,
|
|
|
|
|
}
|
