diff options
| author | Eric Huss <eric@huss.org> | 2024-07-25 16:26:21 -0700 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2024-07-25 16:26:21 -0700 |
| commit | ee75f24945a4e7d614b25c89d70b3eb88dc20ccd (patch) | |
| tree | 98e025c48a508306f2e49a2c98407a5ee945bd4c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 6a449d97fe01a5c34f606b082d75d553b7cb3f80 (diff) | |
| download | rust-ee75f24945a4e7d614b25c89d70b3eb88dc20ccd.tar.gz rust-ee75f24945a4e7d614b25c89d70b3eb88dc20ccd.zip | |
Fix rustbook submodule update location
I put this submodule update in the entirely wrong location. I put it in the `RustcBook` step (for generating src/doc/rustc), when it really should exist for all steps that use the `Rustbook` tool.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions