Ignoring vscode files

This commit is contained in:
Igal Tabachnik 2019-06-13 09:40:54 +03:00
parent 3230b5f9b1
commit 9a42998480

1
.gitignore vendored
View File

@ -9,3 +9,4 @@ out/*
src/version.tex
*.pyg
*.synctex(busy)
src/.dotty-ide-disabled