]> git.lizzy.rs Git - rust.git/commit
Merge pull request #518 from RalfJung/readme
authorOliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer <github35764891676564198441@oli-obk.de>
Wed, 14 Nov 2018 08:11:33 +0000 (09:11 +0100)
committerGitHub <noreply@github.com>
Wed, 14 Nov 2018 08:11:33 +0000 (09:11 +0100)
commit2e6eb0070bb031755d490324dd69a9795988d1c4
treef6a251aa99392042b628678a3685506bf1d66f1e
parent60a6a817d0b142bcd6e7444d5872a4d9b310c05e
parentbf3e376049d122ca47d692cca8cff7134a9746f4
Merge pull request #518 from RalfJung/readme

add a description of what miri can do for you