]> git.pld-linux.org Git - packages/rust.git/commit
projects / packages / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1735ef) | patch
- patch to disable miri build by default (nightly only tool, not meant for stable)
authorJakub Bogusz <qboosh@pld-linux.org>
Sun, 4 Oct 2020 06:15:15 +0000 (08:15 +0200)
committerJakub Bogusz <qboosh@pld-linux.org>
Sun, 4 Oct 2020 06:15:15 +0000 (08:15 +0200)
commit91aaab500bbdd31bb966a87a655a6b86bceedf38
treedc2c882906815f429e3b7d875c334c9341b23161tree | snapshot
parenta1735efb902260f7b32684b9d9b7c6dabb0fbfe2commit | diff
- patch to disable miri build by default (nightly only tool, not meant for stable)
rust-no-miri.patch [new file with mode: 0644] blob
The Rust Programming Language
This page took 0.24924 seconds and 4 git commands to generate.