Merge pull request #2181 from w3c/lint-unused-def-user-credential

Drop definition "User Credential" unused since PR #2109
w3c · Oct 9, 2024 · 7e716a1 · 7e716a1
2 parents 1fcb5c2 + 5887b9f
commit 7e716a1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/index.bs b/index.bs
@@ -1093,7 +1093,6 @@ BCP 14 [[!RFC2119]] [[!RFC8174]] when, and only when, they appear in all capital
 : <dfn>Credential Private Key</dfn>
 : <dfn>Credential Public Key</dfn>
 : <dfn>User Public Key</dfn>
-: <dfn>User Credential</dfn>
 :: A [=credential key pair=] is a pair of asymmetric cryptographic keys generated by an [=authenticator=]
     and [=scoped=] to a specific [=[WRP]=]. It is the central part of a [=public key credential=].