]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 20adc75 5f18674)
Auto merge of #2564 - RalfJung:no-more-xargo, r=oli-obk
authorRalf Jung <post@ralfj.de>
Sun, 2 Oct 2022 13:03:34 +0000 (15:03 +0200)
committerRalf Jung <post@ralfj.de>
Sun, 2 Oct 2022 13:03:34 +0000 (15:03 +0200)
1  2 
src/tools/miri/README.md patch | diff1 | diff2 | blob | history

diff --cc src/tools/miri/README.md
Simple merge
Empowering everyone to build reliable and efficient software.