Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add specific files back to .gitignore
Seems this was an oversight in d050fe3. We don't want to ignore all those file, but only the compiled executables.
- Loading branch information