Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove exec/.gitignore, which is not absolutely needed and the exec d…
…ir will be genearated during the cmake build anyway.
- Loading branch information