Merge pull request #1 from brandstaetter/devel

added .gitignore