Closed matt-gardner closed 7 years ago
@nelson-liu, merging this now, so that our docs work again. The one thing I thought might actually need a review is removing the make.bat
file. I'm pretty sure we don't need it, but if there's an issue, say so, and we can revisit this PR (or submit a new one to undo what I'm merging now).
Hm interesting, surprised that the builds didn't fail. Thanks!
Codecov Report
Continue to review full report at Codecov.