Revert "Revert "Small GitIgnore change""

This reverts commit 6914b7c347cad3efec89e72d6913d752984e8a86.