Eclipse settings not carried into repo

.pydevproject and .project files, which are both created by the eclipse
IDE, are not committed into the source repo.