Merge pull request #2235 from b-r-u/master

Ignore identifier 'OpenStreetMap' for DOC_MARKDOWN lint
This commit is contained in:
Oliver Schneider 2017-11-19 09:26:13 +01:00 committed by GitHub
commit 3bd4dcbba5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -157,7 +157,7 @@ define_Conf! {
"JavaScript", "JavaScript",
"NaN", "NaN",
"OAuth", "OAuth",
"OpenGL", "OpenSSH", "OpenSSL", "OpenGL", "OpenSSH", "OpenSSL", "OpenStreetMap",
"TrueType", "TrueType",
"iOS", "macOS", "iOS", "macOS",
"TeX", "LaTeX", "BibTeX", "BibLaTeX", "TeX", "LaTeX", "BibTeX", "BibLaTeX",