From 3efa07f9599b1e9f3c245cb7a31945e5874696c7 Mon Sep 17 00:00:00 2001 From: Johannes Hofmann Date: Sat, 18 Nov 2017 19:13:07 +0100 Subject: [PATCH] Ignore identifier 'OpenStreetMap' for DOC_MARKDOWN lint --- clippy_lints/src/utils/conf.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/clippy_lints/src/utils/conf.rs b/clippy_lints/src/utils/conf.rs index 83413ae8b48f..31ed71695ce4 100644 --- a/clippy_lints/src/utils/conf.rs +++ b/clippy_lints/src/utils/conf.rs @@ -157,7 +157,7 @@ define_Conf! { "JavaScript", "NaN", "OAuth", - "OpenGL", "OpenSSH", "OpenSSL", + "OpenGL", "OpenSSH", "OpenSSL", "OpenStreetMap", "TrueType", "iOS", "macOS", "TeX", "LaTeX", "BibTeX", "BibLaTeX",