From 284524f3b3ca9029c95cc95aebb80806a985c69d Mon Sep 17 00:00:00 2001 From: Jan Wille <jan.wille@stud.hs-hannover.de> Date: Mon, 19 Oct 2020 11:25:20 +0200 Subject: [PATCH] Delete settings.json --- .vscode/settings.json | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 .vscode/settings.json diff --git a/.vscode/settings.json b/.vscode/settings.json deleted file mode 100644 index 8112916..0000000 --- a/.vscode/settings.json +++ /dev/null @@ -1,23 +0,0 @@ -{ - "latex-workshop.latex.outDir": "%DIR%/build", - "latex-workshop.latex.tools": [ - { - "name": "pdflatex", - "command": "pdflatex", - "args": [ - "-synctex=1", - "-interaction=nonstopmode", - "-file-line-error", - "--output-directory=build", - "%DOC%" - ], - "env": { - "TEXINPUTS": "%DIR%/src" - } - } - ], - "cSpell.enabled": true, - "cSpell.enableFiletypes": [ - "markdown" - ] -} \ No newline at end of file -- GitLab