Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix build.cmd where it didn't complete. (#904)
* Fix build.cmd where it didn't complete. * Update ignore list.
- Loading branch information