5 Oct
2010
5 Oct
'10
2:45 p.m.
We could use git filter-branch to cleanup the .gitignore files, but that would mean new commit ids for all commits.