diff --git a/.gitignore b/.gitignore
index 17c9381..e5996c4 100755
--- a/.gitignore
+++ b/.gitignore
@@ -28,4 +28,6 @@ qcp
 qualifiedcprogramming
 sets
 .gitmodules
-_CoqProject
\ No newline at end of file
+_CoqProject
+
+.devcontainer/
\ No newline at end of file