diff options
| author | Eric Huss <eric@huss.org> | 2024-07-25 16:18:46 -0700 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2024-07-25 16:18:46 -0700 |
| commit | 6a449d97fe01a5c34f606b082d75d553b7cb3f80 (patch) | |
| tree | fe5d7f67423a1faee250202c7d71271d04414c3b /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 922fdd84627aa40237ca7adab07719fd98d4378b (diff) | |
| download | rust-6a449d97fe01a5c34f606b082d75d553b7cb3f80.tar.gz rust-6a449d97fe01a5c34f606b082d75d553b7cb3f80.zip | |
Remove outdated comment about update_submodule
Although its origins were in bootstrap.py, that code in bootstrap.py no longer exists since it was removed.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions