diff options
| author | Jakob Unterwurzacher | 2016-10-06 22:41:13 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-10-06 22:41:13 +0200 |
| commit | 434ce50db38e78f7e2a67af07cb92d8829fdfdf6 (patch) | |
| tree | 33315121c236268e4c10b7df9ccf98d931d5f606 /benchmark-synthetic.bash | |
| parent | ff48dc1aab1c551dcaaa0f46b32dbc5f35e90e2e (diff) | |
main: add "-nonempty" option
Diffstat (limited to 'benchmark-synthetic.bash')
0 files changed, 0 insertions, 0 deletions