]> git.lizzy.rs Git - rust.git/commit
Update lint name to follow convention
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Sun, 22 Mar 2020 12:04:23 +0000 (13:04 +0100)
committerGuillaume Gomez <guillaume1.gomez@gmail.com>
Sun, 22 Mar 2020 12:04:23 +0000 (13:04 +0100)
commitbe97eb4ece63b9e8e094939eb724885fcc2a6919
tree09e7ebd9b4fba5227d385905042bac5d854a37bd
parent966400253b3c5df2ed96e443d64147244dc6f338
Update lint name to follow convention
src/librustc_session/lint/builtin.rs
src/librustdoc/core.rs
src/test/rustdoc-ui/no-crate-level-doc-lint.rs
src/test/rustdoc-ui/no-crate-level-doc-lint.stderr