Merge pull request #2316 from tspiteri/doc-names

Add "NaNs" and "GitLab" to `doc-valid-idents`
This commit is contained in:
Oliver Schneider 2018-01-09 09:10:18 +01:00 committed by GitHub
commit 4603e60fca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -152,10 +152,10 @@ define_Conf! {
"DirectX",
"ECMAScript",
"GPLv2", "GPLv3",
"GitHub",
"GitHub", "GitLab",
"IPv4", "IPv6",
"JavaScript",
"NaN",
"NaN", "NaNs",
"OAuth",
"OpenGL", "OpenSSH", "OpenSSL", "OpenStreetMap",
"TrueType",