diff options
| author | Determinant <[email protected]> | 2018-08-21 21:58:40 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-08-21 21:58:40 -0400 |
| commit | 69208d4931f45911e401a97ba9b019a2ffdfe82c (patch) | |
| tree | 5bdcb23c028b8108963a6ea6379fcabe49b74e6d /scripts/run_demo.sh | |
| parent | 3b7801dcfd573858e9a8f27abe890def47ece2ad (diff) | |
use randomized initial cnt to avoid duplicate command
Diffstat (limited to 'scripts/run_demo.sh')
0 files changed, 0 insertions, 0 deletions