Removing unneeded entries from gitignore
Merge pull request #11 from fkautz/pr_out_removing_unneeded_entries_from_gitignore

Removing unneeded entries from gitignore