diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2015-09-14 02:23:22 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2015-09-14 02:23:22 +0200 |
commit | c8fb54897f046a5a3fb4c1d45dc21fd8bcd882e3 (patch) | |
tree | 378dd6e16ff74f6ff1fc0e5a193355fb88bf5bb3 /benchmark/run | |
parent | d586881f81e74f7c22a2d11094f38634933a558a (diff) |
Accept non-fully qualified commands.
Diffstat (limited to 'benchmark/run')
0 files changed, 0 insertions, 0 deletions