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

bump mdbook to 0.1.5

This commit is contained in:
Niko Matsakis 2018-03-19 10:56:51 -04:00 committed by Who? Me?!
parent dd03cf714e
commit df5401ca7a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/install.sh
View File

@ -19,5 +19,5 @@ function cargo_install() {
fi
}
cargo_install mdbook 0.1.1
cargo_install mdbook 0.1.5
cargo_install mdbook-linkcheck 0.1.0