diff options
| author | Saúl Ibarra Corretgé <s@saghul.net> | 2020-06-17 13:51:49 +0200 |
|---|---|---|
| committer | Hubert Chathi <hubert@uhoreg.ca> | 2020-07-04 16:59:26 -0400 |
| commit | a0284c2ba36ac8433ea752e93b4a0a331a3f0c0b (patch) | |
| tree | 0dc6d871b1d851dee5a46aa47066ca3519c7c9f3 /jenkins.sh | |
| parent | 8a958beb483b41eda34622c778983421baa7b06d (diff) | |
Fix group demo to work with > 2 users
Add 4 by default, and make sure OT keys are not reused.
Diffstat (limited to 'jenkins.sh')
0 files changed, 0 insertions, 0 deletions