]> git.lizzy.rs Git - rust.git/commit
Rename intra-doc lint
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Wed, 13 Jun 2018 19:17:15 +0000 (21:17 +0200)
committerGuillaume Gomez <guillaume1.gomez@gmail.com>
Wed, 13 Jun 2018 21:30:34 +0000 (23:30 +0200)
commitd2a4e429591432d2f64ddccd7bcd9f09b3f6755d
treeb45c9c69765b90857c59b925e619a5d3e1ce68b6
parente6c7868fb289c3f34a24a9498e5d010ca0f48fa6
Rename intra-doc lint
src/librustc/lint/builtin.rs
src/librustdoc/clean/mod.rs
src/librustdoc/core.rs
src/test/rustdoc-ui/deny-intra-link-resolution-failure.rs
src/test/rustdoc-ui/deny-intra-link-resolution-failure.stderr
src/test/rustdoc-ui/intra-links-warning.stderr