Please sign in to comment.
I have filtered out the 'settings' file so it is as if that file had …
…never been part of the repository. That's because your settings file and mine are going to be different (in particular, they will probably have a different USER= setting). In addition, I've added 'settings' to .gitignore.
- Loading branch information...