]> git.pld-linux.org Git - packages/rust.git/history - rust-no-miri.patch
projects / packages / rust.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- patch to disable miri build by default (nightly only tool, not meant for stable)
[packages/rust.git] / rust-no-miri.patch
2020-10-04 Jakub Bogusz- patch to disable miri build by default (nightly only... blob | commitdiff | raw
The Rust Programming Language
This page took 0.383609 seconds and 7 git commands to generate.