fixed svn-ignore; what will happen on github???