diff options
| author | Jakob Unterwurzacher | 2016-06-23 21:56:50 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-06-23 21:56:50 +0200 |
| commit | 3d59a72ba952602ca046df532fe2a3e8e16f1046 (patch) | |
| tree | d39845a851156ffcd6d3f41c6007921ae50b690d /internal/stupidgcm/benchmark.bash | |
| parent | e970b1fdb5963448f8d54d70ae903883605da32d (diff) | |
Drop deprecated "-emenames" option
The EMENames feature flag is already mandatory, dropping the command
line option is the final step.
Diffstat (limited to 'internal/stupidgcm/benchmark.bash')
0 files changed, 0 insertions, 0 deletions