Revert "gitignore again"

This reverts commit bc72a28a458d504180d01de7ac2197f72a109284.