summaryrefslogtreecommitdiff
path: root/benchmark-synthetic.bash
diff options
context:
space:
mode:
authorJakob Unterwurzacher2016-10-06 22:41:13 +0200
committerJakob Unterwurzacher2016-10-06 22:41:13 +0200
commit434ce50db38e78f7e2a67af07cb92d8829fdfdf6 (patch)
tree33315121c236268e4c10b7df9ccf98d931d5f606 /benchmark-synthetic.bash
parentff48dc1aab1c551dcaaa0f46b32dbc5f35e90e2e (diff)
main: add "-nonempty" option
Diffstat (limited to 'benchmark-synthetic.bash')
0 files changed, 0 insertions, 0 deletions