aboutsummaryrefslogtreecommitdiff
path: root/jenkins.sh
diff options
context:
space:
mode:
authorSaúl Ibarra Corretgé <s@saghul.net>2020-06-17 13:51:49 +0200
committerHubert Chathi <hubert@uhoreg.ca>2020-07-04 16:59:26 -0400
commita0284c2ba36ac8433ea752e93b4a0a331a3f0c0b (patch)
tree0dc6d871b1d851dee5a46aa47066ca3519c7c9f3 /jenkins.sh
parent8a958beb483b41eda34622c778983421baa7b06d (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