diff options
| author | Maybe Waffle <waffle.lapkin@gmail.com> | 2022-11-16 20:34:16 +0000 |
|---|---|---|
| committer | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-01-17 08:09:33 +0000 |
| commit | 6a28fb42a8b8f1f67fe854c2206148171e434d73 (patch) | |
| tree | eeab4f46bee891a43cc8aa71db6692a55a8dde73 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 279f1c9d8c26a8d227ae8ab806d262bb784b251b (diff) | |
| download | rust-6a28fb42a8b8f1f67fe854c2206148171e434d73.tar.gz rust-6a28fb42a8b8f1f67fe854c2206148171e434d73.zip | |
Remove double spaces after dots in comments
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions