diff --git a/.gitignore b/.gitignore
index 40bd0e3389623b146b0c1f97d177825fd3afef5e..bc16b561ac2314599ede9a86b12d2f6d2129dada 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ TAGS
 .*
 docs/milestone2.dot.pdf
 *.dot.pdf
+Session.vim