mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update mdbook

This commit is contained in:
Who? Me?! 2019-06-19 13:11:01 -05:00
parent b2c444fb56
commit 18feeb66aa
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ci/install.sh
View File

@ -20,5 +20,5 @@ function cargo_install() {
fi
}
cargo_install mdbook 0.2.3
cargo_install mdbook-linkcheck 0.2.3
cargo_install mdbook 0.3.0
cargo_install mdbook-linkcheck 0.2.4