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

blacklist some commonly problematic links

This commit is contained in:
Mark Mansi 2019-07-17 10:10:43 -05:00 committed by Who? Me?!
parent 6b0e8f15ce
commit cfb84d863f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
book.toml
View File

@ -9,4 +9,4 @@ description = "A guide to developing rustc"
[output.linkcheck] [output.linkcheck]
follow-web-links = true follow-web-links = true
exclude = [ "crates\\.io", "gcc\\.godbolt\\.org" ] exclude = [ "crates\\.io", "gcc\\.godbolt\\.org", "youtube\\.com", "dl\\.acm\\.org" ]