diff options
author | Jaro <jarorutjes07@gmail.com> | 2024-10-01 09:54:41 +0200 |
---|---|---|
committer | Jaro <jarorutjes07@gmail.com> | 2024-10-01 09:54:41 +0200 |
commit | 14f0f8c62a2914bdbbb8d9d90f65ba4dbdffd674 (patch) | |
tree | ef9ec6a77e52b8b6eae386f39ce71f9582669832 /.vscode/extensions.json | |
parent | c191f5e193e3ff5ce886b0fbe1efe8d7ddd04183 (diff) | |
parent | f0cacf550e7b621d58ae9e92b5a1ee66b5e60be0 (diff) |
Merge branch 'master' of github.com:lonkaars/crepe-docs into jaro/research
Diffstat (limited to '.vscode/extensions.json')
-rw-r--r-- | .vscode/extensions.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.vscode/extensions.json b/.vscode/extensions.json index e2e2139..1ce5b20 100644 --- a/.vscode/extensions.json +++ b/.vscode/extensions.json @@ -1,5 +1,6 @@ { "recommendations": [ + "James-Yu.latex-workshop", "EditorConfig.EditorConfig" ] } |