diff --git a/.gitignore b/.gitignore index cb62271a829d..fe97b1e3588a 100644 --- a/.gitignore +++ b/.gitignore @@ -38,7 +38,6 @@ _ocamltestd .merlin _build META -.vscode # local to root directory