diff --git a/.gitignore b/.gitignore index e9d08ca7e..79e116271 100644 --- a/.gitignore +++ b/.gitignore @@ -88,3 +88,4 @@ build.* benchmark/*.goto benchmark/smallscaling +.vscode \ No newline at end of file