diff --git a/.gitpod.yml b/.gitpod.yml index a05ecfd94..dbbfba478 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -1,9 +1,9 @@ image: file: .docker/gitpod/Dockerfile -vscode: - extensions: - - latex-workshop +# vscode: +# extensions: +# - latex-workshop -tasks: - - init: make \ No newline at end of file +# tasks: +# - init: make \ No newline at end of file