]> 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
- release 2
[packages/rust.git] / rust-no-miri.patch
2020-10-04 Jakub Bogusz- added no-miri patch (disable miri by default in stabl... blob | commitdiff | raw
2020-10-04 Jakub Bogusz- patch to disable miri build by default (nightly only... blob | commitdiff | raw | diff to current
The Rust Programming Language
This page took 0.056905 seconds and 9 git commands to generate.