Merge pull request #1589 from sanmai-NL/patch-1

Add ‘ECMAScript’ to default `doc-valid-idents`
This commit is contained in:
Oliver Schneider 2017-03-03 13:20:40 +01:00 committed by GitHub
commit 268b15f288

View file

@ -166,6 +166,7 @@ define_Conf! {
("doc-valid-idents", doc_valid_idents, [ ("doc-valid-idents", doc_valid_idents, [
"MiB", "GiB", "TiB", "PiB", "EiB", "MiB", "GiB", "TiB", "PiB", "EiB",
"DirectX", "DirectX",
"ECMAScript",
"GPLv2", "GPLv3", "GPLv2", "GPLv3",
"GitHub", "GitHub",
"IPv4", "IPv6", "IPv4", "IPv6",