Gilles Peskine 35ef36b62f Rename psa_generate_random_key back to psa_generate_key
generate_key is a more classical name. The longer name was only
introduced to avoid confusion with getting a key from a generator,
which is key derivation, but we no longer use the generator
terminology so this reason no longer applies.

perl -i -pe 's/psa_generate_random_key/psa_generate_key/g' $(git ls-files)
2019-05-17 10:56:57 +02:00
..
2018-08-06 11:42:56 +01:00
2015-04-08 13:25:31 +02:00
2015-04-08 13:25:31 +02:00
2015-04-08 13:25:31 +02:00
2015-04-08 13:25:31 +02:00
2018-06-11 13:10:14 +01:00
2015-04-08 13:25:31 +02:00
2015-04-08 13:25:31 +02:00