diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2020-12-30 14:11:15 -0500 |
|---|---|---|
| committer | Joshua Nelson <jyn514@gmail.com> | 2021-03-01 19:29:15 -0500 |
| commit | 37e4cfe5125e1d8d29fd1a66c7f80109c25618fb (patch) | |
| tree | 2138bbdc6a0bf113f126c6035bb2932097cee224 /src/librustdoc/lib.rs | |
| parent | cc62018e61edfa9706b8e4e61d1b571bdee7827d (diff) | |
| download | rust-37e4cfe5125e1d8d29fd1a66c7f80109c25618fb.tar.gz rust-37e4cfe5125e1d8d29fd1a66c7f80109c25618fb.zip | |
Move lint machinery into a separate file
Diffstat (limited to 'src/librustdoc/lib.rs')
| -rw-r--r-- | src/librustdoc/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustdoc/lib.rs b/src/librustdoc/lib.rs index 6388733c8b2..c152f0fb7f6 100644 --- a/src/librustdoc/lib.rs +++ b/src/librustdoc/lib.rs @@ -86,6 +86,7 @@ mod formats; // used by the error-index generator, so it needs to be public pub mod html; mod json; +crate mod lint; mod markdown; mod passes; mod theme; |