Do not add local settings from local used tools into the repository.
Merge pull request #54 from dterweij/dev

Do not add local settings from local used tools into the repository.