Merge branch 'master' into dev

2023-10-27 08:27:04 +00:00
parent 6dab995e76 52cdcfbade
commit 9492ee20b1
1 changed files with 1 additions and 6 deletions
@@ -40,12 +40,6 @@
               "pdflatex"
            ]
         },
-         {
-            "name": "tectonic",
-            "tools": [
-               "tectonic"
-            ]
-         }
      ],
      "latex-workshop.latex.tools": [
         {
@@ -88,6 +82,7 @@
            "command": "pdflatex",
            "args": [
               "-synctex=1",
+               // "-recorder",
               "-shell-escape",
               "-interaction=nonstopmode",
               "-file-line-error",