diff options
| author | bors <bors@rust-lang.org> | 2020-05-20 14:15:12 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-05-20 14:15:12 +0000 |
| commit | 1831385ff0fe329c143b59f09cb8b5f2a2568678 (patch) | |
| tree | acb61956849020a42903a386bca92b8332ea7ad1 | |
| parent | 20f09e1daa2c379beadbe1df133023f1aae727a6 (diff) | |
| parent | 1b3dc5f79b98ba92c0b6fa98e62c8f331faa8ed6 (diff) | |
| download | rust-1831385ff0fe329c143b59f09cb8b5f2a2568678.tar.gz rust-1831385ff0fe329c143b59f09cb8b5f2a2568678.zip | |
Auto merge of #5611 - rrbutani:master, r=flip1995
Add to the list of words clippy::doc_markdown ignores "TypeScript" is the only one of these I actually ran into organically; I can remove the others if they're too much. changelog: Add to the list of words `clippy::doc_markdown` ignores
| -rw-r--r-- | clippy_lints/src/utils/conf.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/clippy_lints/src/utils/conf.rs b/clippy_lints/src/utils/conf.rs index 57b9eafd14d..9e8e0ff30ec 100644 --- a/clippy_lints/src/utils/conf.rs +++ b/clippy_lints/src/utils/conf.rs @@ -120,10 +120,12 @@ define_Conf! { "GPLv2", "GPLv3", "GitHub", "GitLab", "IPv4", "IPv6", - "JavaScript", + "ClojureScript", "CoffeeScript", "JavaScript", "PureScript", "TypeScript", "NaN", "NaNs", "OAuth", - "OpenGL", "OpenSSH", "OpenSSL", "OpenStreetMap", + "OCaml", + "OpenGL", "OpenMP", "OpenSSH", "OpenSSL", "OpenStreetMap", + "TensorFlow", "TrueType", "iOS", "macOS", "TeX", "LaTeX", "BibTeX", "BibLaTeX", |