diff options
| author | Corey Farwell <coreyf@rwell.org> | 2017-05-05 17:35:24 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-05 17:35:24 -0400 |
| commit | 31a4d73e735ed0f9dceca3e44d4d46016efb13d0 (patch) | |
| tree | e80756fd33ab512826c3efd35fb99a590fd4f454 /src/tools | |
| parent | 6ace8a76cb69ba7f8fd0ad055ddf85658ddcbbd2 (diff) | |
| parent | 6f4c12e2107ec1f3f283552e81afcfe6307f13eb (diff) | |
| download | rust-31a4d73e735ed0f9dceca3e44d4d46016efb13d0.tar.gz rust-31a4d73e735ed0f9dceca3e44d4d46016efb13d0.zip | |
Rollup merge of #41307 - GuillaumeGomez:jquery-removal, r=frewsxcv
Remove jquery dependency r? @rust-lang/docs Fixes #39159.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/tidy/src/style.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/tidy/src/style.rs b/src/tools/tidy/src/style.rs index d545a03aa5c..28a55a8763c 100644 --- a/src/tools/tidy/src/style.rs +++ b/src/tools/tidy/src/style.rs @@ -101,7 +101,7 @@ pub fn check(path: &Path, bad: &mut bool) { filename.starts_with(".#") { return } - if filename == "miniz.c" || filename.contains("jquery") { + if filename == "miniz.c" { return } |