diff --git a/fault_injection_async25_paper.code-workspace b/fault_injection_async25_paper.code-workspace new file mode 100644 index 0000000..50566bb --- /dev/null +++ b/fault_injection_async25_paper.code-workspace @@ -0,0 +1,40 @@ +{ + "folders": [ + { + "path": "." + } + ], + "settings": { + "latex-workshop.latex.recipes":[ + { + "name": "pdflatex, makeglossaries, pdflatex (2x)", + "tools": [ + "pdflatex", + "makeglossaries", + "pdflatex", + "pdflatex" + ] + }, + ], + "latex-workshop.latex.tools":[ + { + "name": "pdflatex", + "command": "pdflatex", + "args": [ + "-synctex=1", + "-interaction=nonstopmode", + "-file-line-error", + "%DOC%" + ] + }, + { + "name": "makeglossaries", + "command": "makeglossaries", + "args": [ + "%DOCFILE%" + ] + } + ], + "editor.wordWrap": "on" + } +} \ No newline at end of file