Delete something that turns out not to be useful. This will be handled differently.

This commit is contained in:
Adam Ierymenko 2017-10-24 14:49:38 -07:00
parent 395d8b3139
commit c7d370c17f
8 changed files with 0 additions and 261 deletions

View file

@ -56,7 +56,6 @@ public:
CREDENTIAL_TYPE_CAPABILITY = 2,
CREDENTIAL_TYPE_TAG = 3,
CREDENTIAL_TYPE_COO = 4, // CertificateOfOwnership
CREDENTIAL_TYPE_COR = 5, // CertificateOfRepresentation
CREDENTIAL_TYPE_REVOCATION = 6
};
};