mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove miri submodule

Browse Source
This commit is contained in:
Oli Scherer 2022-09-19 14:03:23 +00:00
parent b79b7d8b4e
commit d9382d03bd
2 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitmodules vendored
View File

@ -13,9 +13,6 @@
[submodule "src/doc/book"] [submodule "src/doc/book"]
path = src/doc/book path = src/doc/book
url = https://github.com/rust-lang/book.git url = https://github.com/rust-lang/book.git
[submodule "src/tools/miri"]
path = src/tools/miri
url = https://github.com/rust-lang/miri.git
[submodule "src/doc/rust-by-example"] [submodule "src/doc/rust-by-example"]
path = src/doc/rust-by-example path = src/doc/rust-by-example
url = https://github.com/rust-lang/rust-by-example.git url = https://github.com/rust-lang/rust-by-example.git

1
src/tools/miri

@ -1 +0,0 @@
Subproject commit beed5eddb0f73f6721681560c73a51e3f15b8681