diff options
Diffstat (limited to 'src/tools')
| m--------- | src/tools/miri | 16 | ||||
| -rw-r--r-- | src/tools/rustbook/Cargo.toml | 2 |
2 files changed, 8 insertions, 10 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 02a33d411d8e385942776760a99535d69826349 +Subproject 2f84bfc57dd0ef22269bb84dae10f71e5e23e85 diff --git a/src/tools/rustbook/Cargo.toml b/src/tools/rustbook/Cargo.toml index f0a6ce2fa06..f5e5c0867b4 100644 --- a/src/tools/rustbook/Cargo.toml +++ b/src/tools/rustbook/Cargo.toml @@ -9,6 +9,6 @@ edition = "2018" clap = "2.25.0" [dependencies.mdbook] -version = "0.4.0" +version = "0.4.3" default-features = false features = ["search"] |