diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-05-21 14:43:05 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-05-21 14:43:05 +0200 |
| commit | 0fb2726e6ce4d1a0500c76839efd0dab77050607 (patch) | |
| tree | e6a8bdd9d59933c688fac3c86f429e67bb81f66a /build.rs | |
| parent | eb528ef921c1d30d03b533b788a3af302bffb1f9 (diff) | |
remove unused check
that was added in #140 but it's no longer required
Diffstat (limited to 'build.rs')
0 files changed, 0 insertions, 0 deletions