diff options
| author | kai.giebeler <kai.giebeler@audiotool.com> | 2020-11-27 01:42:37 +0100 |
|---|---|---|
| committer | kai.giebeler <kai.giebeler@audiotool.com> | 2020-11-27 01:42:37 +0100 |
| commit | bd235707acd095fdd2b079d2992923d0d732a474 (patch) | |
| tree | 1bcdbd2449747fef2ea3a4e8e1773aca42614946 | |
| parent | 403816fbc95526ba6111734f4931c69caff61b13 (diff) | |
| download | rust-bd235707acd095fdd2b079d2992923d0d732a474.tar.gz rust-bd235707acd095fdd2b079d2992923d0d732a474.zip | |
add WebGL to doc_valid_idents
| -rw-r--r-- | clippy_lints/src/utils/conf.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clippy_lints/src/utils/conf.rs b/clippy_lints/src/utils/conf.rs index fc6304118d9..95f5d33fb23 100644 --- a/clippy_lints/src/utils/conf.rs +++ b/clippy_lints/src/utils/conf.rs @@ -127,6 +127,7 @@ define_Conf! { "OAuth", "GraphQL", "OCaml", "OpenGL", "OpenMP", "OpenSSH", "OpenSSL", "OpenStreetMap", + "WebGL", "TensorFlow", "TrueType", "iOS", "macOS", |