Index: .gitignore |
diff --git a/.gitignore b/.gitignore |
index ca8808ab7b717872ff6497db082fb0088a85c4fb..8ceec20b7e8ea1befb670a3acd2d4e87f2dd1f06 100644 |
--- a/.gitignore |
+++ b/.gitignore |
@@ -2,6 +2,7 @@ |
*.pyc |
# Ignore the batch files produced by the Windows bootstrapping. |
+/git-bash |
/git.bat |
/gitk.bat |
/pylint.bat |