Gilles Peskine 51ae0e4b79 Rename "generator" to "operation"
Generators are now key derivation operations.

Keep "random generator" intact.
2019-05-16 18:55:25 +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