diff options
| author | Determinant <[email protected]> | 2019-05-22 02:51:43 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2019-05-22 02:51:43 -0400 |
| commit | 811619ba36d0151d451647fe55e7a16d44b56357 (patch) | |
| tree | 7d5677de826242f5744c0191c0f08448e48c6a4e /scripts/run_demo.sh | |
| parent | 380f6411fe4889839d470a343ebd50bdf2205531 (diff) | |
optimize exec_command
Diffstat (limited to 'scripts/run_demo.sh')
0 files changed, 0 insertions, 0 deletions