Merge branch 'ml/trace'

diff --git a/.gitignore b/.gitignore
index 2bcc604afea1871b2783a8768a1078572899b92f..52d61f31939d4fbbd55521cff85939fd1cf97e28 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -107,6 +107,7 @@ git-ssh-push
 git-ssh-upload
 git-status
 git-stripspace
+git-svn
 git-svnimport
 git-symbolic-ref
 git-tag