diff options
| author | Tshepang Mbambo <hopsi@tuta.io> | 2025-06-14 22:44:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-14 22:44:47 +0200 |
| commit | 0834e48a11f3467426e4c8ac29969f5c9c7d1e42 (patch) | |
| tree | 8bf3af3939007f7dab7944b27924eefc56989cfa /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 9926215ef2952d27d7ff422b887eac01a7f3a475 (diff) | |
| download | rust-0834e48a11f3467426e4c8ac29969f5c9c7d1e42.tar.gz rust-0834e48a11f3467426e4c8ac29969f5c9c7d1e42.zip | |
use sentence case
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions