diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-02 20:48:34 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-02 20:48:34 +0000 |
| commit | 4f769de5a4bb38f951bd2e5acb87019f0235f675 (patch) | |
| tree | 9c8ff1689d1b9fb507188ddae562e293afeae938 /build.rs | |
| parent | 7406f77a4ec163165fa2f89e8e9351b792e305e3 (diff) | |
| parent | f6bce2110fe9ef58a20a90f8679b82d1f4fead35 (diff) | |
Merge #317
317: Use statically compiled mdbook r=perlindgren a=AfoHT
Instead of building mdbook, get a precompiled version
Co-authored-by: Henrik Tjäder <henrik@tjaders.com>
Diffstat (limited to 'build.rs')
0 files changed, 0 insertions, 0 deletions