Skip to content

Commit

Permalink
Delete building file if exist (#443)
Browse files Browse the repository at this point in the history
* del building file if exist

* add BinaryProvider to REQUIRE
  • Loading branch information
xukai92 committed Apr 28, 2018
1 parent 3d46a9d commit 705a67b
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions REQUIRE
Expand Up @@ -7,3 +7,5 @@ ReverseDiff
Mamba

ProgressMeter

BinaryProvider 0.3.0

0 comments on commit 705a67b

Please sign in to comment.