diff options
| author | Anastasis Georgoulas <a.georgoulas@ucl.ac.uk> | 2024-10-15 22:47:04 +0100 |
|---|---|---|
| committer | Anastasis Georgoulas <a.georgoulas@ucl.ac.uk> | 2024-10-15 22:47:04 +0100 |
| commit | 48636259dfac998c0f34980ef52bebb0ca92a798 (patch) | |
| tree | c85854b4e362f3927689b357cc5e50979ad32f81 /src/tools/miri/genmc-sys/src_cpp | |
| parent | b86a48955e43e269fdbda357ad543a35a2995eb6 (diff) | |
| download | rust-48636259dfac998c0f34980ef52bebb0ca92a798.tar.gz rust-48636259dfac998c0f34980ef52bebb0ca92a798.zip | |
Correct typo in lint description
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions