Just for reference, the .gitignorefile cn be version controlled in git itself. Depending on that is desireable or not, people can set their own personal ignores in .git/info/exclude Maybe that helps. -Tobias