diff options
| author | Tshepang Mbambo <tshepang@gmail.com> | 2023-06-26 22:11:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-26 22:11:13 +0200 |
| commit | 6bab85a456791923725b06375a688b150bae45c5 (patch) | |
| tree | 27ee0f7d99fe7d510ea9bab1a92e592fa93d0b01 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 6f8c27ae89dfd32895419d7ef5b89844bcad1bcd (diff) | |
| download | rust-6bab85a456791923725b06375a688b150bae45c5.tar.gz rust-6bab85a456791923725b06375a688b150bae45c5.zip | |
str docs: remove "Basic usage" text where not useful
Not "useful" in that there is only one example given
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions