diff options
| author | Christoph Beberweil <christoph.beberweil@protonmail.com> | 2023-11-24 17:29:03 +0100 |
|---|---|---|
| committer | Christoph Beberweil <christoph.beberweil@protonmail.com> | 2023-11-24 17:29:03 +0100 |
| commit | bce869f0c05ffe2ce341e79e2f4cf9c0a06078c1 (patch) | |
| tree | 234810cbf448077ab0c941914ba69997d68c182c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 2512341fe45f62c5e1e5aea0d70a0430b73e639b (diff) | |
| download | rust-bce869f0c05ffe2ce341e79e2f4cf9c0a06078c1.tar.gz rust-bce869f0c05ffe2ce341e79e2f4cf9c0a06078c1.zip | |
fix: 7125 lint message should start with a small letter
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions