diff options
| author | Milo Moisson <milomoisson@gmail.com> | 2024-08-20 12:04:28 +0200 |
|---|---|---|
| committer | Milo Moisson <milomoisson@gmail.com> | 2024-08-20 12:10:32 +0200 |
| commit | fc8a025f171a4cf8e5839c2bd5fa33c25357e2a0 (patch) | |
| tree | d413c8981d4da854300cd04ea12d700d6ba56c0c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | d0e637da19881c335b9c14ccbbfc1f0b628fd933 (diff) | |
| download | rust-fc8a025f171a4cf8e5839c2bd5fa33c25357e2a0.tar.gz rust-fc8a025f171a4cf8e5839c2bd5fa33c25357e2a0.zip | |
fix(cfg_not_test): lint description typo
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions