Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Clean source code directory before building
to get around the "Not a git repository" issue that occasionally occurs
- Loading branch information