Revert "correct gitignore"

This reverts commit d9e59c26d906ddccb39a24bae52cde281c22bd0c.