| commit | 683898c0790b430b5e0a5f6df365642522e84b94 | [log] [tgz] |
|---|---|---|
| author | Jaeden Amero <jaeden.amero@arm.com> | Fri May 17 09:55:13 2019 +0100 |
| committer | GitHub <noreply@github.com> | Fri May 17 09:55:13 2019 +0100 |
| tree | fed3c2e0aa6a63de6ccbb6cd00b7c94425fe40c8 | |
| parent | eef988fc2d7e96d8b7f905032de496f9c020edcb [diff] | |
| parent | 27a983d93c40bc63e5b74e4552dbe81216e96398 [diff] |
Merge pull request #112 from gilles-peskine-arm/psa-remove_domain_parameters Remove domain parameters from API 1.0