tree d0e150f0635438b924a2a88e4a8d5a2314dcd28a
parent 12b58abad6cc1c5ae7cf5a04f1b4e56d4a671eab
author Gilles Peskine <Gilles.Peskine@arm.com> 1549621499 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1549622219 +0100

Fix minor errors in key derivation and key agreement documentation