diff options
| author | Tshepang Mbambo <hopsi@tuta.io> | 2025-09-06 05:25:38 +0200 |
|---|---|---|
| committer | Tshepang Mbambo <hopsi@tuta.io> | 2025-09-06 05:25:38 +0200 |
| commit | 55f913cf1b4eb55ab2252421a28100288b8feec8 (patch) | |
| tree | 477dd20ac362e96fdd15231bed8871f94785120a /src/tools/miri/genmc-sys/cpp/include | |
| parent | 4e18796882880e9465d43f29c697aef311c6bb36 (diff) | |
capitalize "zulip"
Diffstat (limited to 'src/tools/miri/genmc-sys/cpp/include')
0 files changed, 0 insertions, 0 deletions