diff --git a/.gitignore b/.gitignore
index 9286aae13e..08e13e6e98 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@ tools/sections
 *.synctex.gz
 *.synctex*
 .check.stamp
+.vscode/