From e632da9fc762da0e851c83b1f97c310d048a9f5b Mon Sep 17 00:00:00 2001
From: Jan Wille <jan.wille@stud.hs-hannover.de>
Date: Sun, 18 Oct 2020 22:25:22 +0200
Subject: [PATCH] Delete settings.json
---
.vscode/settings.json | 19 -------------------
1 file changed, 19 deletions(-)
delete mode 100644 .vscode/settings.json
diff --git a/.vscode/settings.json b/.vscode/settings.json
deleted file mode 100644
index 5f9c3f4..0000000
--- a/.vscode/settings.json
+++ /dev/null
@@ -1,19 +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"
- }
- }
- ]
-}
\ No newline at end of file
--
GitLab